Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics - J. Lambek - Books - Cambridge University Press - 9780521356534 - March 25, 1988
In case cover and title do not match, the title is correct

J. Lambek
Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics

Price
$ 106.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

304 pages, bibliography, index

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 25, 1988
ISBN13 9780521356534
Publishers Cambridge University Press
Pages 304
Dimensions 229 × 164 × 20 mm   ·   462 g
Language English  
Series Editor Bollobas, B.
Series Editor Fulton, W.
Series Editor Katok, A.
Series Editor Kirwan, F.
Series Editor Sarnak, P.
Series Editor Simon, B.
Series Editor Totaro, B.

Mere med samme udgiver

See all of J. Lambek ( e.g. Paperback Book )