The lambda calculus its syntax and semantics
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| 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: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | Literaturverz. S. 585 - 598 |
|---|---|
| Beschreibung: | XV, 621 S. |
| ISBN: | 0444867481 |