{"product_id":"9781108986908","title":"Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)","description":"\u003cp\u003eThis Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of higher-order logic based on the concept of a type. The second Section contains an account of the origins and nature of type theory, and its relationship to set theory. Section 3 introduces Local Set Theory (also known as higher-order intuitionistic logic), an important form of type theory based on intuitionistic logic. In Section 4 number of contemporary forms of type theory are described, all of which are based on the so-called 'doctrine of propositions as types'. We conclude with an Appendix in which the semantics for Local Set Theory - based on category theory - is outlined.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":45421743833167,"sku":"00000_00000_00000_00000","price":875.0,"currency_code":"TWD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0672\/9174\/2287\/files\/9781108986908-1.jpg?v=1780449863","url":"https:\/\/kinokuniya.com.tw\/products\/9781108986908","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}