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

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

af Grigori Mints

1.508,95 kr.

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

af Grigori Mints

1.542,95 kr.

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