Items related to Simple Type Theory: A Practical Logic for Expressing...
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic) - Hardcover
- PublisherBirkhäuser
- Publication date2023
- ISBN 10 3031211111
- ISBN 13 9783031211119
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages309
Other Popular Editions of the Same Title
Search results for Simple Type Theory: A Practical Logic for Expressing...
Stock Image
Simple Type Theory
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-14026
Quantity: 1 available
Seller Image
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 45556231-n
Quantity: Over 20 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2023 edition. Seller Inventory # 26396295313
Quantity: 1 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 401163086
Quantity: 1 available
Stock Image
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 18396295323
Quantity: 1 available
Seller Image
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 45556231
Quantity: Over 20 available
Stock Image
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Published by
Springer International Publishing, 2023
ISBN 10: 3031211111
ISBN 13: 9783031211119
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 312 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 41323781/2
Quantity: 1 available
Seller Image
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. Seller Inventory # 45556231-n
Quantity: Over 20 available
Seller Image
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. Seller Inventory # 45556231
Quantity: Over 20 available
Seller Image
Simple Type Theory
Published by
Springer International Publishing Jan 2023, 2023
ISBN 10: 3031211111
ISBN 13: 9783031211119
New
Hardcover
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. Seller Inventory # 9783031211119
Quantity: 2 available