Introduction to higher order categorical logic
1.2 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Joachim Lambek
Completions of categories
Computational algebraic approa
Computational algebraic approaches to natural language
From Rules of Grammar to Laws
From Rules of Grammar to Laws of Nature
Lectures on rings and modules
Torsion theories, additive semantics, and rings of quotients
Torsion Theories, Additive Semantics, and Rings of Quotients (Lecture Notes in Mathematics)