Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Böcker - Springer - 9789401029155 - 12 oktober 2011
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.109

Beställningsvara

Förväntad leverans 14 - 22 okt
Få avisering om nya utgåvor med S. Stenlund

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även 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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 12 oktober 2011
ISBN13 9789401029155
Utgivare Springer
Antal sidor 177
Mått 155 × 235 × 10 mm   ·   276 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med S. Stenlund