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. 1989
Ausgabe:Repr.
Schriftenreihe:Cambridge studies in advanced mathematics 7
Schlagwörter:
Umfang:X, 293 S.
ISBN:0521246652
0521356539