J. Lambek – författare

Visar alla böcker från författaren J. Lambek. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Heritage of Thales

   Av W.S. Anglin, J. Lambek

   Inbunden, 1995

   876 kr

   Lägg i varukorg

   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 students from the sciences, humanities and education. We have attempted to give approximately equal treatment to the …

2. 

   Introduction to Higher-Order Categorical Logic

   Av J. Lambek, P. J. Scott m. fl.

   Häftad, 1988

   810 kr

   Lägg i varukorg

   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 lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it …

3. 

   Heritage of Thales

   Av J. Lambek, W.S. Anglin

   E-bok, 2012

   815 kr

   Lägg i varukorg

   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 students from the sciences, humanities and education. We have attempted to give approximately equal treatment to the …

4. 

   Heritage of Thales

   Av W.S. Anglin, J. Lambek

   Häftad, 2012

   626 kr

   Lägg i varukorg

   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 students from the sciences, humanities and education. We have attempted to give approximately equal treatment to the …