{"product_id":"logical-frameworks-for-truth-and-a-cantini-9780444823069","title":"Logical Frameworks for Truth and Abstraction: An Axiomatic Study Volume 135","description":"This English translation of the author's original work has been thoroughly revised, expanded and updated.\u003cp\u003eThe book covers logical systems known as \u003ci\u003etype-free\u003c\/i\u003e or \u003ci\u003eself-referential\u003c\/i\u003e. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.\u003c\/p\u003e\u003cp\u003eResearch arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.\u003c\/p\u003e\u003cp\u003eAcademics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e A. Cantini\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0444823069\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780444823069\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e North-Holland\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/14\/1996\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 460\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.85lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.06d\u003c\/p\u003e","brand":"A. Cantini","offers":[{"title":"Hardcover","offer_id":44056101617919,"sku":"9780444823069","price":170.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_7d5fbd47-4db5-49a2-9edc-4cede59a4b11.jpg?v=1685039523","url":"https:\/\/www.whiterainbookhouse.com\/products\/logical-frameworks-for-truth-and-a-cantini-9780444823069","provider":"WR Book House","version":"1.0","type":"link"}