Order Total (1 Item Items):
Shipping Destination:
Introduction Higher Order Categorical Logic by Lambek Scott (15 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (15)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (11)
- As New, Fine or Near Fine (1)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (15)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (11)
Language (1)
Price
- Any Price
- Under US$ 25 (No further results match this refinement)
- US$ 25 to US$ 50
- Over US$ 50
Free Shipping
Seller Location
Seller Rating
-
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
Language: English
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine creasing or a few markings such as an owner's name, short gifter's inscription or light stamp.
-
Introduction To Higher-Order Categorical Logic.
Published by Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Softcover. Condition: Good+. Glossy softbound covers. Some wear to the edges of the covers.; Cambridge Studies In Advanced Mathematics, Series Number 7; 6.25 X 0.75 X 9 inches; 304 pages.
-
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
Language: English
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.
-
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
Language: English
Condition: New. SUPER FAST SHIPPING.
-
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
Language: English
Condition: New.
-
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
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 85.37
US$ 15.73 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Introduction to Higher-Order Categorical Logic
Published by Cambridge University Press, GB, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
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.
-
Introduction to Higher Order Categorical Logic
Published by Cambridge University Press CUP, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Condition: New. pp. 304.
-
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
Language: English
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Introduction to Higher-Order Categorical Logic
Published by Cambridge University Press, GB, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
US$ 99.81
US$ 85.33 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. 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.
-
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)
Published by Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Paperback. Condition: Like New. Like New. book.
-
Paperback. Condition: Brand New. reprint edition. 304 pages. 9.00x6.25x0.75 inches. In Stock. This item is printed on demand.
-
Introduction to Higher Order Categorical Logic
Published by Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Condition: New. Print on Demand pp. 304 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
-
Introduction to Higher Order Categorical Logic
Published by Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Condition: New. PRINT ON DEMAND pp. 304.
-
Introduction to Higher Order Categorical Logic
Published by Cambridge University Press, 1988
ISBN 10: 0521356539 ISBN 13: 9780521356534
Language: English
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 th.
