Record:   Prev Next
Author Lambek, Joachim
Title Introduction to higher order categorical logic / J. Lambek, P.J. Scott
Imprint Cambridge [Cambridgeshire] ; New York : Cambridge University Press, c1986
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA169 L28 1986    AVAILABLE    30340200222812
 Fu Ssu-Nien WTN LANG BK  QA169 L221 1986    AVAILABLE    HPW0050516
 Inform. Sci. Books  F4.1 L221    AVAILABLE    30330000066832
Descript ix, 293 p. ; 24 cm
Series Cambridge studies in advanced mathematics ; 7
Note Bibliography: p. [279]-288
Includes indexes
Subject Categories (Mathematics)
Category theory iisf
Mathematical logic iis
Alt Author Scott, P. J
Record:   Prev Next