-
RecordNumber
25936
-
Author
Lambek, J
-
Title
Introduction to higher order categorical logic
-
Author Statement
J. Lamvek , P. J. Scott
-
Publication
Cambridge Unviersity
-
Publication Year
[c1986]
-
Collation
x, 293p
-
Series
Cambridge studies in advanced mathematics; 7
-
Bibliography
Bibliography: p. 279- 288
-
Subject
Categorical mathematics
-
ADDED ENTRIES
Scott, P. J., jt.auth
-
Main Class
512
-
Sub Class
.55
-
Cutter no
L221i
-
وارد كنندة اطلاعات
fazel^d//
-
Link To Document :
