Instructor: Dr. Iian Smythe (i.smythe@rutgers.edu)
Office hours: Tues 1:00pm-2:30pm in 511 Hill Center (or by appointment)
Lecture: MW 1:40pm-3:00pm in 218 Science & Engineering Resource Center (SEC)
Course description: A first course in mathematical logic: the study of formal languages, truth, provability, and definability, using the tools of mathematics.
Course syllabus
Additional material (lecture notes, homework, solutions, etc) will be posted on Sakai.
Textbooks and resources: The following are optional resources you may find useful:
- A Mathematical Introduction to Logic, 2nd edition, by H. B. Enderton (our course is partially based on the treatment here, will be available on course reserve in the Mathematical Sciences and Physics Library)
- Mathematical Logic for Mathematicians, draft course notes, by Joe Mileti (freely available from the author)
- The Open Logic Project (free open-source logic text)
- Mathematical Logic, 2nd edition, by H.-D. Ebbinghaus, J. Flum, and W. Thomas
- Mathematical Logic, by J. R. Shoenfield (the classic text, but more advanced than our course)
- Fundamentals of Mathematical Logic, by P. Hinman (a comprehensive, but more advanced text)
- The Stanford Encyclopedia of Philosophy has many well-written articles on subjects related to our course, e.g., on Classical Logic