Stock Image

The Combinatory Programme (Progress in Theoretical Computer Science)

Engeler, Erwin

0 ratings by Goodreads
ISBN 10: 1461287162 / ISBN 13: 9781461287162
Published by Birkhäuser 1995-01-01, 1995
New Condition: New Soft cover
Buy New
List Price: US$ 139.00
Price: US$ 170.67 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

Offered By

M and N Media
Acworth, GA, U.S.A.

4-star rating

AbeBooks Seller Since October 18, 2010

About this Item

1461287162 We guarantee all of our items - customer service and satisfaction are our top priorities. Please allow 4 - 14 business days for Standard shipping, within the US. Bookseller Inventory # TM-1461287162

Quantity Available: 1

Ask Seller a Question

Bibliographic Details

Title: The Combinatory Programme (Progress in ...

Publisher: Birkhäuser 1995-01-01

Publication Date: 1995

Binding: Paperback

Book Condition: New

Edition: Softcover reprint of.

About this title


Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ­ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is presented here in the hope that it does justice to the individual contributor and that the reader has a chance of judging the work as a whole. E. Engeler ETH Zurich, April 1994 lCollected in Chapter III, An Algebraization of Algorithmics, in Algorithmic Properties of Structures, Selected Papers of Erwin Engeler, World Scientific PubJ. Co. , Singapore, 1993, pp. 183-257. I Historical and Philosophical Background Erwin Engeler In the fall of 1928 a young American turned up at the Mathematical Institute of Gottingen, a mecca of mathematicians at the time; he was a young man with a dream and his name was H. B. Curry. He felt that he had the tools in hand with which to solve the problem of foundations of mathematics mice and for all. His was an approach that came to be called "formalist" and embodied that later became known as Combinatory Logic.

"About this title" may belong to another edition of this title.

Store Description

M and N Media is your one-stop shop for all of your media entertainment needs! We feature comic graphic novels and hardcovers, role-playing games, and Osprey military history books. With over 30 years in the media entertainment business, we will help satisfy your media entertainment needs. If you can't find it anywhere else, please let us know - we will be more than happy to assist you!

Visit Seller's Storefront

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days. M and N Media Attn: Logan Jones PO Box 801134 Acworth, GA ...

More Information
Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express