Order Total (1 Item Items):
Shipping Destination:
Simple Type Theory Practical by Farmer William (32 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (32)
- 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 (26)
- As New, Fine or Near Fine (5)
- 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 (8)
- Not Print on Demand (30)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Language: English
Published by Birkh�user 2023-01, 2023
ISBN 10: 3031211138 ISBN 13: 9783031211133
PF. Condition: New.
-
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
£ 44.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
Condition: As New. Unread book in perfect condition.
-
-
Condition: New. Second Edition 2025 NO-PA16APR2015-KAP.
-
-
Condition: New. 1st ed. 2023 edition.
-
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
£ 59.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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: 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: As New. Unread book in perfect condition.
-
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
£ 69.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: 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.
-
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2024. Paperback. . . . . .
-
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.
-
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 (Computer Science Foundations and Applied Logic)
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. 2024. Paperback. . . . . . Books ship from the US and Ireland.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Language: English
Published by Springer International Publishing, 2024
ISBN 10: 3031211146 ISBN 13: 9783031211140
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.
-
Hardcover. Condition: Brand New. 2nd edition. 330 pages. 9.25x6.10x9.21 inches. In Stock.
-
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Language: English
Published by Springer Nature Switzerland, Springer International Publishing, 2025
ISBN 10: 3031853512 ISBN 13: 9783031853517
Buch. 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 can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church'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. For this second edition, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.Topics and features: Offers the first book-length introduction to simple type theory as a predicate logic Provides the reader with a logic that is close to mathematical practice Includes a module system for building libraries of mathematical knowledge Employs two semantics, one for mathematics and one for logic Emphasizes the model-theoretic view of predicate logic Presents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of mathemati.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Language: English
Published by Springer International Publishing, 2023
ISBN 10: 3031211111 ISBN 13: 9783031211119
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Language: English
Published by Springer International Publishing, 2023
ISBN 10: 3031211111 ISBN 13: 9783031211119
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
