Mathematical Logic (Math 570) Lecture Notes
Mathematical Logic (Math 570) Lecture NotesLou van den DriesFall Semester 2019Contents1 Mathematical Logic : a brief overview . . . . . . . . . . . . . . . . Sets and Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . .52 Basic Concepts of Propositional Logic . . . . . . . . . . . . . . . . . . . . . . . . . . Completeness for Propositional Logic . . . . . . . . . . . . . . . . Languages and Structures . . . . . . . . . . . . . . . . . . . . . . Variables and Terms . . . . . . . . . . . . . . . . . . . . . . . . . Formulas and Sentences . . . . . . . . . . . . . . . . . . . . . . . Models.
uence of set theory on the rest of mathematics was to enable simple constructions of great generality, like cartesian products, quotient sets and power sets, and this involves only very elementary set theory. 1.1. MATHEMATICAL LOGIC: A BRIEF OVERVIEW 3
Download Mathematical Logic (Math 570) Lecture Notes
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: