Bøger af Grigori Mints - plingboeger.dk

De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger

Levering: 1 - 2 hverdage

Populære

COLOG-88

af Grigori Mints & Per Martin-Löf

589,95 kr.
- Bog
- 589,95 kr.
Se mere
A Short Introduction to Intuitionistic Logic

af Grigori Mints

1.606,95 kr.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bog
- 1.606,95 kr.
Se mere
A Short Introduction to Intuitionistic Logic

af Grigori Mints

1.642,95 kr.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bog
- 1.642,95 kr.
Se mere