Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Bøker - Springer - 9789401029155 - 12. oktober 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.019

Bestillingsvarer

Forventes levert 4. - 12. aug
Få varsel om nye utgivelser fra S. Stenlund

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

Finnes også som:

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  

Mer fra samme **utgiver**

Se alt med S. Stenlund ( f.eks. Innbunden bok og Pocketbok )