Verwandte Artikel zu 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
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für The Lambda Calculus: Its Syntax and Semantics (Volume...
Foto des Verkäufers
The Lambda Calculus: Its Syntax and Semantics STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
gebundene Ausgabe. Zustand: 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. Artikel-Nr. 2003219
Anzahl: 1 verfügbar
Foto des Verkäufers
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.
Verlag:
Amsterdam, North-Holland, 1984
ISBN 10: 0444867481
ISBN 13: 9780444867483
Gebraucht
Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 2502771
Anzahl: 1 verfügbar