Introduction to higher order categorical logic / J. Lambek; P. J. Scott
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Cambridge studies in advanced mathematics ; 7Verlag: Cambridge [u.a.] : Cambridge Univ. Press, 1986Beschreibung: IX, 293 S. : graph. Darst. ; 24 cmISBN:- 0521246652
- 512.55
- 512/.55
- QA169
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Grundl./Logik / Lam | Verfügbar | 09036129659 |
Anzahl Vormerkungen: 0