Bøger af Grigori Mints
Filter
Sorter efterSorter
Populære
-
557,95 kr. - Bog
- 557,95 kr.
-
1.512,95 kr. Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bog
- 1.512,95 kr.
-
1.546,95 kr. Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
- Bog
- 1.546,95 kr.