Continue to hone your perseverance in problem solving.Learn about the interdisciplinary nature of logic by understanding fundamental connections to computer science and philosophy.Develop a deeper understanding of, and appreciation for, the connections between syntactic symbols and semantic meaning.Understand the dual role of logical systems: as interesting mathematical objects of their own, and as powerful tools to prove theorems in other areas of mathematics.Master new types of inductive arguments and recursive constructions.Develop technical writing skills, including the ability to communicate abstract mathematical ideas clearly and elegantly.Discovering Modern Set Theory, I: The Basics by Winfried Just and Martin Weese.Mathematical Logic by Heinz-Dieter Ebbinghaus, Jorg Flum, and Wolfgang Thomas.įor the set theory material, I recommend the following:.A Mathematical Introduction to Logic by Herbert Enderton.Fundamentals of Mathematical Logic by Peter Hinman.The following books cover most of the material on first-order logic: I encourage you to consult other sources as supplements. Please let me know if you find typos or if you have suggestions! I will be posting course notes here: Current Notes Senior Seminar: Mathematical Logic Math 444 Senior Seminar: Mathematical Logic General Information
