Fortæl dine venner om denne vare:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Grigori Mints Softcover reprint of the original 1st ed. 2002 edition
Pris
R 3.387,50
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 12. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics
Grigori Mints
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
131 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 26. april 2013 |
| ISBN13 | 9781475773194 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 131 |
| Mål | 155 × 235 × 8 mm · 231 g |
| Sprog | Engelsk |
Se alt med Grigori Mints ( f.eks. Hardcover bog og Paperback Bog )