When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
A mathematically rigorous presentation of basic concepts of mathematical logic, emphasizing relational structures over logical language. Part II focuses on advanced theorems, such as G÷del's theorems, the independence proof of Goodstein's theorem, and Tarski's theorem on real closed fields.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.