{"product_id":"metamathematics-of-first-order-arithmetic-cambridge-university-press-9781107168411-petr-h-jek","title":"Metamathematics of First-Order Arithmetic","description":"\u003cp\u003eExplore the intricate world of mathematical foundations with \u003cstrong\u003eMetamathematics of First-Order Arithmetic\u003c\/strong\u003e by \u003cstrong\u003ePetr Hájek\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2017, this essential hardback monograph spans \u003cstrong\u003e474 pages\u003c\/strong\u003e and delves deeply into the metamathematics of first-order arithmetic. The author meticulously examines various subsystems of Peano arithmetic, providing readers with a profound understanding of the crucial axiom schema of induction and the intriguing phenomenon of incompleteness. This book is a must-read for anyone interested in first-order logic and the underlying principles of arithmetic. Enhance your knowledge and appreciation of mathematical logic with this comprehensive resource.\u003c\/p\u003e","brand":"Petr Hájek","offers":[{"title":"Default Title","offer_id":52235602952534,"sku":"9781107168411","price":183.09,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781107168411.jpg?v=1767755740","url":"https:\/\/www.englishbook.pt\/products\/metamathematics-of-first-order-arithmetic-cambridge-university-press-9781107168411-petr-h-jek","provider":"Bookshop","version":"1.0","type":"link"}