Fortæl dine venner om denne vare:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 edition
Grigori Mints
Pris
₺ 7.493,75
Bestilles fra fjernlager
Forventes klar til forsendelse 5. - 11. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics 2000 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 Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 31. oktober 2000 |
| ISBN13 | 9780306463945 |
| Forlag | Springer Science+Business Media |
| Antal sider | 131 |
| Mål | 155 × 235 × 17 mm · 840 g |
| Sprog | Engelsk |
Se alt med Grigori Mints ( f.eks. Hardcover bog og Paperback Bog )