Introduction to higher order categorical logic / J. Lambek; P. J. Scott

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Cambridge studies in advanced mathematics ; 7Publisher: Cambridge [u.a.] : Cambridge Univ. Press, 1986Description: IX, 293 S. : graph. Darst. ; 24 cmISBN:

Subject(s):

DDC classification:

RVK: RVK: CC 2600 | SK 130LOC classification:

PPN: PPN: 024065366

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Grundl./Logik / Lam	Available	09036129659

Total holds: 0