The lambda calculus: its syntax and semantics
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Barendregt, Hendrik P. 1947- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam [u.a.] North-Holland 1985
Ausgabe:Rev. ed., 2. print.
Schriftenreihe:Studies in logic and the foundations of mathematics 103
Schlagworte:
Beschreibung:Literaturverz. S. 585 - 598
Beschreibung:XV, 621 S.
ISBN:0444867481

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!