Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per The Lambda Calculus: Its Syntax and Semantics: Volume...
Immagini fornite dal venditore
The Lambda Calculus: Its Syntax and Semantics STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
Editore:
Elsevier Science Ltd, 1991
ISBN 10: 0444867481
ISBN 13: 9780444867483
Antico o usato
Rilegato
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
gebundene Ausgabe. Condizione: 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. Codice articolo 2003219
Compra usato
EUR 168,00
EUR 15,95 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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.
Editore:
Amsterdam, North-Holland, 1984
ISBN 10: 0444867481
ISBN 13: 9780444867483
Antico o usato
Rilegato
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 2502771
Compra usato
EUR 167,99
EUR 16,00 shipping
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili