Items related to The Lambda Calculus: Its Syntax and Semantics (Volume...

The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103) - Hardcover

Barendregt, H.P.

 
Image Not Available
Hardcover
ISBN 10: 0444867481 ISBN 13: 9780444867483
Publisher: North Holland, 1985

Synopsis

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.

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

Review

This book is (almost) an encyclopedia of type-free lambda calculus... The reviewer is surprised by the author's success in getting in such an amount of material with motivations and complete proofs...
Zentralblatt für Mathematik
It brings together virtually all of the current knowledge on the subject and will be indispensable for serious students of the lambda calculus...
Journal of Symbolic Logic
There must have been an exceptional amount of effort to ensure the high quality of text and printing...
Journal of Symbolic Logic

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

  • PublisherNorth Holland
  • Publication date1985
  • ISBN 10 0444867481
  • ISBN 13 9780444867483
  • BindingHardcover
  • LanguageEnglish
  • Edition number2
  • Number of pages654

Buy Used

Condition: Very Good
621 Seiten; Das hier angebotene... View this item
Image Not Available
US$ 194.84

Convert currency

Shipping: US$ 17.96
From Germany to U.S.A.

Destination, rates & speeds

Add to basket

30 Day Return Policy

Search results for The Lambda Calculus: Its Syntax and Semantics (Volume...

Seller Image

Barendregt, H. P.:
Published by Elsevier Science Ltd, 1991
ISBN 10: 0444867481 ISBN 13: 9780444867483
Used Hardcover

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

gebundene Ausgabe. Condition: Gut. 2. Pr. 621 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 1020. Seller Inventory # 2003219

Contact seller

Buy Used

US$ 194.84
Convert currency
Shipping: US$ 17.96
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket