There is no required textbook. I will be posting course notes here: Current Notes
Please let me know if you find typos or if you have suggestions!

I encourage you to consult other sources as supplements. The following books cover most of the material on first-order logic:

• Fundamentals of Mathematical Logic by Peter Hinman.
  
• A Mathematical Introduction to Logic by Herbert Enderton.
  
• Mathematical Logic by Heinz-Dieter Ebbinghaus, Jorg Flum, and Wolfgang Thomas.
  

For the set theory material, I recommend the following:

• Discovering Modern Set Theory, I: The Basics by Winfried Just and Martin Weese.
  
• Set Theory by Kenneth Kunen.
  

• Develop technical writing skills, including the ability to communicate abstract mathematical ideas clearly and elegantly.
• Master new types of inductive arguments and recursive constructions.
• 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.
• Develop a deeper understanding of, and appreciation for, the connections between syntactic symbols and semantic meaning.
• Learn about the interdisciplinary nature of logic by understanding fundamental connections to computer science and philosophy.
• Continue to hone your perseverance in problem solving.

Homework assignments will be due on Fridays, and will be posted to the course webpage.

• Each assignment is due at 5:00pm on the given Friday.
• All homework must be typeset and submitted electronically by email.
• Your lowest homework score will be dropped.
• Solutions to the homework will be posted to the course webpage.
• Unless you have a serious emergency that you bring to my attention before a homework assignment is due, late homework will not be accepted for credit.
• Some homework assignments will include challenge problems. These problems are either particularly difficult, or involve techniques that are not typically covered in prerequisite courses. They will not be graded for credit, but exist for extra fun and enrichment.

Homework will be graded on the basis of correctness, elegance, and also clarity of exposition. You have all had experience writing mathematical proofs, and one important goal of this goal is to hone your mathematical writing skills. You should take extra time to organize and write your solutions after you have solved the problems. Write in complete sentences and connect mathematical symbolism with explanation. A correct solution which is difficult to read and understand will not receive full credit. Think of each assignment as a small paper that you are writing for a Social Studies or Humanities course.

I strongly recommend using LaTeX to write up your homework assignments. Take the time to learn the basics (and install it on your machine) during the first week of class. I can provide you with some assistance and sample documents.

There will be one take-home exam and a scheduled three hour final exam.

Final exam date: Friday, May 20 at 9:00am.

Consult the general Grinnell College policy on Academic Honesty and the associated booklet for general information.

Homework: If you enjoy working in groups, I strongly encourage you to work with others in the class to solve the homework problems. If you do collaborative work or receive help form somebody in the course, you must acknowledge this on the corresponding problem(s). Writing "I worked with Sam on this problem" or "Mary helped me with this problem" suffices. You may ask students outside the course for help, but you need to make sure they understand the academic honesty policies for the course and you need to cite their assistance as well. Failing to acknowledge such collaboration or assistance is a violation of academic honesty.

If you work with others, your homework must be written up independently. You can not write a communal solution and all copy it down. Discussing ideas and/or writing parts of computations together on whiteboards or scratch paper is perfectly fine, but you need to take those ideas and write the problem up on your own. Under no circumstances can you look at another student's completed written work.

I encourage you to look to other books or online sources for additional help in understanding concepts and ideas, but you must cite other books or online sources if they provide you with an idea that helps you solve a problem. However, you may not specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums.

Exam and Final: You may neither give nor receive help from others. You will be allowed to consult the material from the course (the official notes and homework solutions, as well as your own notes and homework).

Students with learning, physical, or psychiatric disabilities enrolled in this course with disability-related classroom accommodations are encouraged to make an office appointment with me in first few weeks of class. You will need to provide documentation of your disability to the Coordinator of Disability Resources, Autumn Wilke, located on the third floor of the JRC (x3702).

If you have a religious observance that conflicts with your participation in the course, please come speak with me as soon as possible to discuss appropriate accommodations.