Combinators,  -Terms and Proof Theory - Synthese Library - S. Stenlund - Boeken - Springer - 9789401029155 - 12 oktober 2011
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 113,99

Besteld in een afgelegen magazijn

Verwachte levering 7 - 21 aug.
Ontvang meldingen over nieuwe releases van S. Stenlund
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 12 oktober 2011
ISBN13 9789401029155
Uitgevers Springer
Pagina's 177
Afmetingen 155 × 235 × 10 mm   ·   276 g
Taal en grammatica Engels  

Meer van dezelfde uitgever