Fortell venner om denne varen:
A Short Introduction to Intuitionistic Logic - University Series in Mathematics Softcover reprint of the original 1st ed. 2002 edition
Grigori Mints
Pris
¥ 23.614
Bestillingsvarer
Forventes levert 6. - 14. aug
Legg til iMusic ønskeliste
Eller
Finnes 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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 26. april 2013 |
| ISBN13 | 9781475773194 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 131 |
| Mål | 155 × 235 × 8 mm · 231 g |
| Språk | Engelsk |
Se alt med Grigori Mints ( f.eks. Innbunden bok og Pocketbok )