Sökt på: Böcker av J. Lambek
totalt 4 träffar
Introduction to Higher-Order Categorical Logic
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed …
The Heritage of Thales
This is intended as a textbook on the history, philosophy and foundations of mathematics, primarily for students specializing in mathematics, but we also wish to welcome interested …
Heritage of Thales
This is intended as a textbook on the history, philosophy and foundations of mathematics, primarily for students specializing in mathematics, but we also wish to welcome interested …
The Heritage of Thales
This is intended as a textbook on the history, philosophy and foundations of mathematics, primarily for students specializing in mathematics, but we also wish to welcome interested …