Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - Books - Springer - 9789401029155 - October 12, 2011
In case cover and title do not match, the title is correct

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

S. Stenlund

Price
₺ 4,462
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 3 - 13

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:

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 12, 2011
ISBN13 9789401029155
Publishers Springer
Pages 177
Dimensions 155 × 235 × 10 mm   ·   276 g
Language English  

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