Fortæl dine venner om denne vare:
Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition
S. Stenlund
Pris
zł 490,90
Bestilles fra fjernlager
Forventes klar til forsendelse 21. - 27. okt.
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition
S. Stenlund
The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.
194 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 12. oktober 2011 |
| ISBN13 | 9789401029155 |
| Forlag | Springer |
| Antal sider | 177 |
| Mål | 155 × 235 × 10 mm · 276 g |
| Sprog | Engelsk |
Se alt med S. Stenlund ( f.eks. Hardcover bog og Paperback Bog )