{"product_id":"higher-order-logic-and-type-theory-cambridge-university-press-9781108986908-john-l-bell-undifferentiated","title":"Higher-Order Logic and Type Theory","description":"\u003cp\u003eDiscover the intricate world of logic and type theory in \u003cstrong\u003eHigher-Order Logic and Type Theory\u003c\/strong\u003e by \u003cstrong\u003eJohn L. Bell\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2022, this insightful paperback spans 75 pages, providing a comprehensive exposition of second- and higher-order logic. \u003c\/p\u003e \n\n\u003cp\u003eDelve into the syntax and semantics of classical second-order logic, while exploring higher-order logic through the lens of type concepts. This book also examines the origins and nature of type theory, its relationship to set theory, and offers a detailed look at contemporary forms of type theory. \u003c\/p\u003e \n\n\u003cp\u003ePerfect for students and professionals alike, this engaging text serves as an essential resource for anyone looking to deepen their understanding of mathematical logic and type theory. Enhance your knowledge and expand your library with this must-have title!\u003c\/p\u003e","brand":"John L. Bell - undifferentiated","offers":[{"title":"Default Title","offer_id":52273028432214,"sku":"9781108986908","price":21.82,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781108986908.jpg?v=1767809409","url":"https:\/\/www.englishbook.fi\/products\/higher-order-logic-and-type-theory-cambridge-university-press-9781108986908-john-l-bell-undifferentiated","provider":"Bookshop","version":"1.0","type":"link"}