Mathematical Logic I

3 Credits

Languages, models, and theories; Godel's completeness and incompleteness theorems; formal number theory and axiomatic set theory; applications to other areas of mathematics.