Order Total (1 Item Items):
Shipping Destination:
Reasoning Simple Type Theory (45 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (45)
- 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 (37)
- As New, Fine or Near Fine (7)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
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 (17)
- Not Print on Demand (35)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Condition: As New. Unread book in perfect condition.
-
Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Condition: New.
-
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Condition: New.
-
Reasoning in Simple Type Theory
Published by College Publications, GB, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
Published by College Publications 2008-12-01, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Paperback. Condition: New.
-
Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Reasoning in Simple Type Theory : Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Published by Birkh�user 2023-01, 2023
ISBN 10: 3031211138 ISBN 13: 9783031211133
Language: English
PF. Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. 1st ed. 2023 edition.
-
Reasoning in Simple Type Theory
Published by College Publications, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Condition: New. KlappentextReasoning in Simple Type Theory is a collection of papers thatincludes reprints of eight seminal papers in this area as well asthirteen new contributed articles. For the reprints we have chosen apaper by Alonzo Church (int.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
-
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.
-
-
Condition: As New. Unread book in perfect condition.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Reasoning in Simple Type Theory
Published by College Publications, GB, 2008
ISBN 10: 1904987702 ISBN 13: 9781904987703
Language: English
Paperback. Condition: New.
-
Condition: New. Second Edition 2025 NO-PA16APR2015-KAP.
-
Paperback. Condition: Brand New. 309 pages. 9.25x6.10x0.65 inches. In Stock.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Published by Springer International Publishing, 2024
ISBN 10: 3031211146 ISBN 13: 9783031211140
Language: English
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can beusedin practice to express and reason about mathematical ideas.The book is an introduction tosimple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic calledAlonzothat is based on Alonzo Church's formulation of simple type theory known asChurch's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.Topics and features:Offers the first book-length introduction to simple type theory as a predicate logicProvides the reader with a logic that is close to mathematical practicePresents the tools needed to build libraries of mathematical knowledgeEmploys two semantics, one for mathematics and one for logicEmphasizes the model-theoretic view of predicate logicIncludes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need apracticallogic for expressing and reasoning about mathematical ideas.William M. Farmeris a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.
