-
RecordNumber
1931
-
Author
Lambek, J
-
Title
Introduction to higher order categorical logic
-
Author Statement
J. Lambek [and] P. J. Scott
-
Publication
Cambridge University Press
-
Publication Year
1989, C. 1986
-
Collation
X, 293P., illus
-
Series
Cambridge studies in advanced mathematics; 7
-
Notes
Bibliography: P. [279]-288 , 0521356539
-
Subject
Logic, Symbolic and mathematical , Categories (Mathematics)
-
ADDED ENTRIES
Scott, P. J. jt.auth , ,
-
LC Class
QA
-
LC Number
169
-
LC CutterNumber
.L3
-
Link To Document :
