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.
Mathematical logic is a subfield of mathematics that is concerned with the application of formal logic to mathematics. Set theory, recursion theory, proof theory and model theory are the primary subfields in mathematical logic.
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.