3 stores

The Lambda Calculus: Its Syntax and Semantics Studies in Logic and the Foundations of Mathematics

Compared at 3 stores·New and used ·Updated 3 hours ago

Lowest $72.95Highest $179.36

Go to the $72.95 offer

Compare buying options

Four live offers. The cheapest is new.

Sold byDetailsSpecial savingsItem price

AmazonNew · updated 3 hours ago

Free shipping

No Cash Back

$72.95

Visit site

eBayNew

—

1.5% Cash Back

$119.95

Visit site

eBayUsed

—

1.5% Cash Back

$132.99

Visit site

AbeBooksUsed · updated 8 days ago

—

2.5% Cash Back

$179.36

Visit site

Product Description

The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.