Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7) - Softcover
Synopsis
In this volume, Lambek and Scott 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. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises.
"synopsis" may belong to another edition of this title.
Book Description
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
Review
"...important monograph...very clearly written..." SciTech Book News
"...a readable and timely account of important results, most of which were not previously available in book form." London Mathematical Society
"[The authors] present their material as persuasively and as lucidly as possible. In addition, they have included many useful exercises and illuminating historical and philosophical remarks, which should make the book attractive to an audience not confined to the already expert. This is an excellent and timely work on a subject that is assuming an increasingly important role in the foundations of mathematics." J.L. Bell, Journal of Symbolic Logic
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Introduction to Higher-Order Categorical Logic (Cambridge...
Stock Image
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Used
Paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_416508311
Seller Image
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Used
paperback
Seller: Lavendier Books, Foster, RI, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Cambridge University Press; Cambridge, 1988. Trade paperback. A Very Good, binding sturdy and intact, some handling/scuff marks to covers, bit of cover edge/corner wear, ink check mark top half title page, crease bottom corner page 105-108, a nice and clean copy in wraps. 8vo[octavo or approx. 6 x 9], 293pp., bibliography, indexed. We pack securely and ship daily w/delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Seller Inventory # SKU1043641
Seller Image
Introduction to Higher-Order Categorical Logic
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 695392
Seller Image
Introduction to Higher-Order Categorical Logic
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 695392-n
Stock Image
Introduction to Higher-Order Categorical Logic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 304 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521356539
Buy New
US$ 87.79
US$ 13.33 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Introduction to Higher-Order Categorical Logic (Paperback)
Published by
Cambridge University Press, Cambridge, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. In this volume, Lambek and Scott 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. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludeds with a set of exercises. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521356534
Stock Image
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521356534
Stock Image
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521356534_new
Buy New
US$ 93.70
US$ 15.97 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Introduction to Higher-Order Categorical Logic
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 695392-n
Buy New
US$ 93.68
US$ 20.00 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Introduction to Higher-Order Categorical Logic
Published by
Cambridge University Press, GB, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Illustrated. 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 is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines. Seller Inventory # LU-9780521356534
Buy New
US$ 114.03
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available