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//