The Heritage Of Thales

By W. S. Anglin, J. Lambek, W.S. Anglin, William Sherron Raymond Anglin

This is a textbook on the history, philosophy, and foundations of mathematics. One of its aims is to present some interesting mathematics, not normally taught in other courses, in a historical and...

Introduction to Higher-Order Categorical Logic

By Joachim Lambek, J. Lambek, P. J. Scott

The Heritage Of Thales

By W. S. Anglin, J. Lambek, William Sherron Raymond Anglin

This is a textbook on the history, philosophy and foundations of mathematics. One of its aims is to present some interesting mathematics, not normally taught in other courses, in a historical and p...

Introduction To Higher-Order Categorical Logic

By P. J. Scott, Joachim Lambek, J. Lambek

I was looking for a book for my girlfriend this Christmas and stumbled upon this one. At first I thought it would be too light but was I ever mistaken!! This book is so high that it would make Ja...

The Heritage Of Thales

By W. S. Anglin, J. Lambek, William Sherron Raymond Anglin

This is a textbook on the history, philosophy and foundations of mathematics. One of its aims is to present some interesting mathematics, not normally taught in other courses, in a historical and...

Heritage of Thales

By J. Lambek, W. S. Anglin

Computational algebraic approaches to natural language

By Joachim Lambek, C. Casadio