Combinators,  -Terms and Proof Theory - Synthese Library - S. Stenlund - Knihy - Springer - 9789401029155 - 12. októbra 2011
V prípade, že obal a názov nesedia, platí názov

Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition

Cena
€ 101,49

Objednané zo vzdialeného skladu

Očakávané doručenie 28. sep - 6. okt
Dostávajte upozornenia na nové nahrávky interpreta S. Stenlund
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

Tiež dostupné ako:

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 12. októbra 2011
ISBN13 9789401029155
Vydavatelia Springer
Strany 177
Rozmery 155 × 235 × 10 mm   ·   276 g
Jazyk Angličtina  

Viac od toho istého vydavateľa