{"product_id":"simple-type-theory-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas-9783031853517","title":"Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas","description":"\u003cp\u003e • Author(s): William M. Farmer\u003cbr\u003e • Publisher: Birkhauser\u003cbr\u003e • Publisher Imprint: Birkhauser\u003cbr\u003e • BISAC: Computer Science\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be \u003cem\u003eused\u003c\/em\u003e in practice to express and reason about mathematical ideas. The book is an introduction to \u003cem\u003esimple type theory\u003c\/em\u003e, a classical higher-order version of predicate logic that extends first-order logic. \u003c\/p\u003e \u003cp\u003eIt presents a practice-oriented logic called \u003cem\u003eAlonzo\u003c\/em\u003e that is based on Alonzo Church's formulation of simple type theory known as \u003cem\u003eChurch's type theory\u003c\/em\u003e. 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 \u003cstrong\u003esecond edition\u003c\/strong\u003e, more than 400 additions, corrections, and improvements have been made, including a new chapter on inductive sets and types.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003eTopics and features: \u003c\/strong\u003e\u003c\/p\u003e - - - - - - \u003cp\u003eAimed at students of mathematics and computing at the graduate or upper-undergraduate level, this book is well suited for mathematicians, computing professionals, engineers, and scientists who need a \u003cem\u003epractical\u003c\/em\u003e logic for expressing and reasoning about mathematical ideas.\u003c\/p\u003e \u003cp\u003e\u003cstrong\u003eWilliam M. Farmer\u003c\/strong\u003e is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.\u003c\/p\u003e       ","brand":"Atlantic Books","offers":[{"title":"Hardcover","offer_id":46439709802647,"sku":"9783031853517","price":6005.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031853517.webp?v=1769112309","url":"https:\/\/atlanticbooks.com\/products\/simple-type-theory-a-practical-logic-for-expressing-and-reasoning-about-mathematical-ideas-9783031853517","provider":"Atlantic Books","version":"1.0","type":"link"}