A Short Introduction to Intuitionistic Logic
af Grigori Mints
Bog, Paperback, Engelsk, 2013
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO1.039,95 kr.Gratis fragtUkendtKøb for 1.039,95 kr.Køb
- Bogreolen1.317,95 kr.0,00 kr.2-4 ugerKøb for 1.317,95 kr.Køb
- Tales1.318,95 kr.34,95 kr.2-4 ugerKøb for 1.318,95 kr.Køb
- Pling BØGER1.318,95 kr.34,95 kr.2-4 ugerKøb for 1.318,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingPaperback
- ISBN9781475773194
- Udgivet26/04/2013
- Udgivet afSpringer-Verlag New York Inc.
- Længde131 sider
- ForfatterGrigori Mints
- GenreBusiness og læring, Computer og IT