{"product_id":"9780387942582-mathematical-logic","title":"Mathematical Logic (Undergraduate Texts in Mathematics","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003eOur first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of a given axiom system (and in particular, imitate all mathemat­ ical proofs).\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":41081260277857,"sku":"9780387942582","price":65.7,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_28386733.jpg?v=1742992149","url":"https:\/\/www.rarewaves.com\/products\/9780387942582-mathematical-logic","provider":"Rarewaves.com","version":"1.0","type":"link"}