The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)

Barendregt, HP

4.15 out of 5 stars

34 ratings by Goodreads

ISBN 10: 184890066X ISBN 13: 9781848900660

Published by College Publications, 2012

Language: English

Used Condition: Poor Soft cover

Save for Later

From Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars

AbeBooks Seller since December 22, 1999

View this seller's items

View all copies of this book

Used - Soft cover

Price: US$ 26.54 Convert Currency

US$ 17.28 shipping from United Kingdom to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Volume 40. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pen markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9781848900660. Seller Inventory # 9195171

Contact seller

Report this item

Bibliographic Details

Title: The Lambda Calculus, Its Syntax and ...

Publisher: College Publications

Publication Date: 2012

Binding: Soft cover

Condition: Poor

About this title

Synopsis:

The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic. The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has...

Store Description

Based in central Lincoln, Anybook Ltd. sells exclusively on line. We specialise in academic works. All our books are in good condition or better, unless otherwise described. We will respond to your enquiry promptly and mail books out within 24 hours of receiving payment. We use Royal Mail and other reputable couriers at greatly discounted postage rates. If you find cheaper postage from the UK, we'll match it. Remember if you are unsatisfied in any way with any purchase, we will give you a complete and unconditional refund. All books are hand wrapped. All e-mails answered personally. All books are offered subject to being unsold.

Visit Seller's Storefront

Seller's business information

Anybook Ltd.
28 West End,, Burgh le Marsh,, Lincolnshire, PE24 5EY, United Kingdom

Terms of Sale:

Anybook Ltd is a company registered in England and Wales. Company Registration Number: 3692291. VAT Number: GB753406145. Share Capital GBP100.

Registered Offices:
28 West End,
Burgh le Marsh,
Lincolnshire,
PE24 5EY
UK

Customer Services:
2,Outer Circle Business Park,
Outer Circle Road,
Lincoln
LN2 4HX
UK

Email Address: sales@anybook.com
Telephone Number: +44 (0) 115 888 2269
Authorized Representative: Ms. Claire Williams

Shipping Terms:

Orders usually ship within 1 business day. We use Royal Mail and other reputable couriers at greatly discounted postage rates. If your book order is heavy or over-sized, or valuable enough to require tracking, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to The Lambda Calculus, Its Syntax and Semantics (Studies...

The Lambda Calculus, Its Syntax and Semantics (Studies in Logic) (Volume 40)

Barendregt, HP

Used - Soft cover

Seller's business information