Premium
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)
Author(s) -
Pitts A. M.
Publication year - 1987
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/blms/19.2.190
Subject(s) - mathematics , categorical variable , order (exchange) , mathematics education , calculus (dental) , algebra over a field , pure mathematics , statistics , medicine , dentistry , finance , economics
By J. Lambek and P. J. Scott: pp. 394. £30.00; US$49.50. (Cambridge University Press, 1986.)