J. Lambek profile picture

J. Lambek

Is this your author profile? Create an account to claim and customize it!

Stand Alone

heritage of Thales
The Heritage of Thales
The Heritage of Thales (Undergraduate Texts in Mathematics / Readings in Mathematics)
Introduction to Higher-Order Categorical Logic
Introduction to Higher-Order Categorical Logic