Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Books - Springer - 9789027703057 - September 30, 1972
In case cover and title do not match, the title is correct

S. Stenlund
Combinators, -Terms and Proof Theory - Synthese Library 1972 edition

Price
$ 106.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 29 - Jul 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

187 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released September 30, 1972
ISBN13 9789027703057
Publishers Springer
Pages 177
Dimensions 155 × 235 × 12 mm   ·   449 g
Language English  

Mere med samme udgiver

See all of S. Stenlund ( e.g. Hardcover Book and Paperback Book )