Fortell venner om denne varen:
Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition
S. Stenlund
Pris
R 1.870
Bestillingsvarer
Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Finnes 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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 12. oktober 2011 |
| ISBN13 | 9789401029155 |
| Utgivere | Springer |
| Antall sider | 177 |
| Mål | 155 × 235 × 10 mm · 276 g |
| Språk | Engelsk |
Se alt med S. Stenlund ( f.eks. Innbunden bok og Pocketbok )