Introduction to higher order categorical logic

RecordNumber
40684
Author
Lambek, Joachim
Addition
,
Title
Introduction to higher order categorical logic
Author Statement
J. Lambek, P.J. Scot.
Collation
ix, 293 p. ; 24 cm
Series
Cambridge studies in advanced mathematics ; 7
Index
Includes indexes
Subject
Categories (Mathematics)
ADDED ENTRIES
AU Scott, P. J.
LC Class
QA
LC Number
169
LC CutterNumber
.L28
LC Date
1986
تاريخ ورود اطلاعات
1387/11/07
ISBNN
, 1 , 100-1
Link To Document :
https://lib.pnu.ac.ir/dL/search/default.aspx?Term=40684&Field=0&DTC=4

Lambek, Joachim