Introduction to higher order categorical logic:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Lambek, Joachim 1922-2014 (VerfasserIn), Scott, P. J. (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Cambridge [u.a.] Cambridge Univ. Pr. 1987
Ausgabe:Reprint.
Schriftenreihe:Cambridge studies in advanced mathematics 7
Schlagwörter:
Umfang:IX, 293 S.
ISBN:0521246652
0521356539