Items related to Introduction to Higher-Order Categorical Logic (Cambridge...
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.
- PublisherCambridge University Press
- Publication date1988
- ISBN 10 0521356539
- ISBN 13 9780521356534
- BindingPaperback
- LanguageEnglish
- Number of pages304
- Rating
Search results for Introduction to Higher-Order Categorical Logic (Cambridge...
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
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Edition 1988. Tome 7. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1988. Volume 7. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-128-677
Quantity: 1 available
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
Quantity: 1 available
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
Quantity: 1 available
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
Quantity: Over 20 available
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190000391
Quantity: Over 20 available
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
Quantity: Over 20 available
Stock Image
Introduction to Higher Order Categorical Logic
Published by
Cambridge University Press, 1994
ISBN 10: 0521356539
ISBN 13: 9780521356534
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9780521356534. Seller Inventory # 3939657
Quantity: 1 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
Quantity: Over 20 available
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
Quantity: 1 available
Stock Image
Introduction to Higher-Order Categorical Logic
Published by
Cambridge University Press, 1988
ISBN 10: 0521356539
ISBN 13: 9780521356534
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 502. Seller Inventory # C9780521356534
Quantity: Over 20 available