BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Stock photo: cover may vary

Combinators, Lambda-Terms and Proof Theory (Synthese Library) Hardback - 1972

by Soren Stenlund

Add to wish list
  • New
  • Hardback
New

Description

D Reidel, 1972-09-30. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Ask the seller a question Add to wish list
A$232.79
A$8.52 Delivery within USA
Standard delivery: 2 to 21 days
More delivery options
Ships from GridFreed LLC (California, United States)
The BIBLIO Guarantee

Details

  • Title Combinators, Lambda-Terms and Proof Theory (Synthese Library)
  • Author Soren Stenlund
  • Binding Hardback
  • Condition New
  • Pages 177
  • Volumes 1
  • Language ENG
  • Publisher D Reidel, Dordrecht
  • Publication date 1972-09-30
  • Features Bibliography
  • Bookseller's Inventory # Q-9027703051
  • ISBN 9789027703057 / 9027703051
  • Weight 0.99 lbs (0.45 kg)
  • Dimensions 9.21 x 6.14 x 0.5 in (23.39 x 15.60 x 1.27 cm)
  • Category Gardening / Horticulture
  • Library of Congress Catalogue Number 72083378
  • Dewey Decimal Code 160
  • Quantity available 1

About GridFreed LLC California, United States

Biblio member since 2021

We sell primarily non-fiction, many new books, some collectible first editions and signed books. We operate 100% online and have been in business since 2005.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from GridFreed LLC

Reader reviews for Combinators, Lambda-Terms and Proof Theory (Synthese Library)

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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. Some of the material in chapter 1 and 3 has already appeared in my notes Introduction to Combinatory Logic. It appears here in revised form since the presen- tation in my notes is inaccurate in several respects. I would like to express my gratitude to Stig Kanger for his invalu- able advice and encouragement and also for his assistance in a wide variety of matters concerned with my study in Uppsala. I am also in- debted to Per Martin-USf for many valuable and instructive conversa- tions. As will be seen in chapter 4 and 5, I also owe much to the work of Dag Prawitz and W. W. Tait. My thanks also to Craig McKay who read the manuscript and made valuable suggestions. I want, however, to emphasize that the shortcomings that no doubt can be found, are my sole responsibility. Uppsala, February 1972.

Please wait a moment while we load the requested page.

tracking-