Mathematics Department - Math 461 - Mathematical Logic

Math 461 - Mathematical Logic

General Information (Catalog listing)

Intuitive and formal development of the sentential and predicate calculus. Special emphasis given to questions of consistency, completeness, and independence. Formal systems; incompleteness and undecidability; theorems of Gödel. Exploration of which properties of structures can be defined in the first-order language.
Prerequisite: CALC3 and either 01:640:300 or permission of department.
Schedule Archives

Spring 2017 Schedule

InstructorType Index Section Day(s)/
Time Room
(click for map)
Thomas, Simon L 00303 01 MW4 1:40 PM - 3:00 PM SEC-218 BUS

This course is taught each Spring semester.


Herbert B. Enderton; A Mathematical Introduction to Logic (second edition); Academic Press, 2001 (352 pp.); (ISBN: 0-12-238452-0; ISBN13: 978-0-12-238452-3)


Variable: Spring 2007


For Instructors

Previous semesters:

Disclaimer: Posted for informational purposes only

This material is posted by the faculty of the Mathematics Department at Rutgers New Brunswick for informational purposes. While we try to maintain it, information may not be current or may not apply to individual sections. The authority for content, textbook, syllabus, and grading policy lies with the current instructor.

Information posted prior to the beginning of the semester is frequently tentative, or based on previous semesters. Textbooks should not be purchased until confirmed with the instructor. For generally reliable textbook information—with the exception of sections with an alphabetic code like H1 or T1, and topics courses (197,395,495)—see the textbook list.

This page was last updated on February 04, 2010 at 04:31 pm and is maintained by
For questions regarding courses and/or special permission, please contact
For questions or comments about this site, please contact
© 2017 Rutgers, The State University of New Jersey. All rights reserved.