5718175
9780521246651
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.Lambek, J. is the author of 'Introduction to Higher-Order Categorical Logic', published 1986 under ISBN 9780521246651 and ISBN 0521246652.
[read more]