> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The lambda calculus : its syntax and semantics Beteiligte: Barendregt, Hendrik P. [VerfasserIn]; Barendregt, Hendrik Pieter [Sonstige Person, Familie und Körperschaft] Erschienen: Amsterdam [u.a.]: North-Holland, 2001 Erschienen in: Studies in logic and the foundations of mathematics ; 10300 Ausgabe: 5. impr., rev. ed., 2. Aufl Umfang: XV, 621 S; Ill.,graph. Darst Sprache: Englisch ISBN: 0444875085 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, Schlagwörter: Lambda-Kalkül Entstehung: Anmerkungen: Literaturverz. S. 585 - 598 Weitere Bestandsnachweise 0 : Studies in logic and the foundations of mathematics