{"product_id":"9783031853517","title":"Computer Science Foundations and Applied Logic: A Practical Logic for Expressing and Reasoning About Mathematical Ideas","description":"\u003ch1\u003eComputer Science Foundations and Applied Logic: A Practical Logic for Expressing and Reasoning About Mathematical Ideas\u003c\/h1\u003e \u003ch2\u003eFarmer, William M.\u003c\/h2\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.\u003cspan style=\"mso-spacerun: yes;\"\u003e  \u003c\/span\u003eThe 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.\u003cspan style=\"mso-spacerun: yes;\"\u003e  \u003c\/span\u003e\u003c\/p\u003e\n\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.\u003cspan style=\"mso-spacerun: yes;\"\u003e  \u003c\/span\u003eThe book illustrates using Alonzo how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.\u003cspan style=\"mso-spacerun: yes;\"\u003e  \u003c\/span\u003eFor 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\n\u003cp\u003e\u003cstrong\u003eTopics and features:\u003c\/strong\u003e\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003eOffers the first book-length introduction to simple type theory as a predicate logic\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003eProvides the reader with a logic that is close to mathematical practice\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003eIncludes a module system for building libraries of mathematical knowledge\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003eEmploys two semantics, one for mathematics and one for logic\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003eEmphasizes the model-theoretic view of predicate logic\u003c\/p\u003e\n\u003cp style=\"margin-left: .5in; text-indent: -.25in; mso-list: l0 level1 lfo1;\"\u003e\u003c!-- [if !supportLists]--\u003e\u003cspan style=\"font-family: Symbol; mso-fareast-font-family: Symbol; mso-bidi-font-family: Symbol; mso-bidi-font-weight: bold;\"\u003e\u003cspan style=\"mso-list: Ignore;\"\u003e·\u003cspan style=\"font: 7.0pt 'Times New Roman';\"\u003e       \u003c\/span\u003e\u003c\/span\u003e\u003c\/span\u003e\u003c!--[endif]--\u003ePresents several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooks\u003c\/p\u003e\n\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\n\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\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\"\u003e \u003c\/p\u003e\n\u003cp class=\"MsoNormal\" style=\"text-align: center;\" align=\"center\"\u003e \u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Birkhäuser\u003c\/p\u003e \u003cp\u003ePublication Date: 2025-04-24\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9783031853517\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-031-85352-4\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 319\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45385614786700,"sku":"9783031853517","price":80.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783031853517.jpg?v=1776054718","url":"https:\/\/lateknightbooks.com\/products\/9783031853517","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}