Introduction to higher order categorical logic

Bibliographische Detailangaben

Hauptverfasser:	Lambek, Joachim 1922-2014 (VerfasserIn), Scott, Philip J. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Cambridge [u.a.] Cambridge Univ. Press 1988
Ausgabe:	1. paperback ed. with corr.
Schriftenreihe:	Cambridge studies in advanced mathematics 7
Schlagworte:	Logik Kategorie > Mathematik Grundlage Kategorientheorie Mathematik Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!