Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Kirjat - Springer - 9789401029155 - keskiviikko 12. lokakuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

S. Stenlund

Hinta
zł 431,90

Tilattu etävarastosta

Arvioitu toimitus to - pe 23. - 31. loka

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 12. lokakuuta 2011
ISBN13 9789401029155
Tuottaja Springer
Sivujen määrä 177
Mitta 155 × 235 × 10 mm   ·   276 g
Kieli English  

Katso kaikki joka sisältää S. Stenlund ( Esim. Hardcover Book Ja Paperback Book )