Joachim Lambek
Forfatter af Introduction to Higher-Order Categorical Logic
Værker af Joachim Lambek
Satte nøgleord på
Almen Viden
There is no Common Knowledge data for this author yet. You can help.
Medlemmer
Anmeldelser
Introduction to Higher Order Categorical Logic af J. Lambek
A beautifully clean introduction to the logic of cartesian categories and toposes. With useful "historical perspectives" on the development of the theory.
Måske også interessante?
Associated Authors
Statistikker
- Værker
- 6
- Medlemmer
- 63
- Popularitet
- #268,028
- Anmeldelser
- 1
- ISBN
- 13