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
Íkr 13,679
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 5
Get notified about new J. Lambek releases

Our customers say:

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

Not rated yet

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.

More from the same publisher

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