English
Beginner
Introduction to Higher-Order Categorical Logic
J. Lambek,P. J. Scott
1988
View book
Discover references
J. Lambek,P. J. Scott
John Isbell (auth.),Guillaume Brümmer,Christopher Gilmour (eds.)