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 1981
Schriftenreihe:Studies in logic and the foundations of mathematics 103
Schlagworte:
Beschreibung:XIV, 615 S. Ill., graph. Darst.
ISBN:0444854908

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!