Fortæl dine venner om denne vare:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition
Grigori Mints
Pris
DKK 1.274
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition
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 )