{"product_id":"lectures-in-logic-and-set-theory-volume-1-mathematical-logic-9780521753739","title":"Lectures in Logic and Set Theory: Volume 1, Mathematical Logic","description":"This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e George Tourlakis,Tourlakis George\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Cambridge University Press\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/09\/2003\u003cbr\u003e\u003cb\u003eSeries:\u003c\/b\u003e Cambridge Studies in Advanced Mathematics #82\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 342\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.25lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.20w x 0.90d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780521753739","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":45265320018057,"sku":"9780521753739","price":147.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0636\/9240\/6921\/files\/img_be6ab3ee-fd22-4a80-8d95-865d98da0b46.jpg?v=1771311149","url":"https:\/\/sonsanddaughtersbooks.com\/products\/lectures-in-logic-and-set-theory-volume-1-mathematical-logic-9780521753739","provider":"Sons and Daughters Books","version":"1.0","type":"link"}