Publication | Closed Access
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7)
142
Citations
0
References
1987
Year
Cambridge StudiesAutomated ReasoningAdvanced Mathematics 7Cambridge University PressScience And Technology StudiesFirst-order LogicLinear LogicJ. LambekP. J. ScottHigher-order LogicCategorical LogicCategorical Model
By J. Lambek and P. J. Scott: pp. 394. £30.00; US$49.50. (Cambridge University Press, 1986.)