The Lambda Calculus: Its Syntax and Semantics (Volume 103) (Studies in Logic and the Foundations of Mathematics, Volume 103) - Tapa dura
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para The Lambda Calculus: Its Syntax and Semantics (Volume...
Imagen del vendedor
The Lambda Calculus: Its Syntax and Semantics STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
Publicado por
Elsevier Science Ltd, 1991
ISBN 10: 0444867481
ISBN 13: 9780444867483
Antiguo o usado
Tapa dura
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
gebundene Ausgabe. Condición: 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. Nº de ref. del artículo: 2003219
Comprar usado
EUR 168,00
EUR 15,95 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
The lambda calculus. Its syntax and semantics. Studies in logic and the foundations of mathematics 103; Studies in logic and the foundations of mathematics 103/1984.
Publicado por
Amsterdam, North-Holland, 1984
ISBN 10: 0444867481
ISBN 13: 9780444867483
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 BAR 9780444867483 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2502771
Comprar usado
EUR 167,99
EUR 16,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles