z-logo
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.)

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom