Dept Banner
Dept Banner
Hill Center walk to entrance
classroom instructor and students


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


Textbook:  For current textbook please refer to our Master Textbook List page

Sample Syllabus

Variable: Spring 2007

This course is taught each Spring semester.

Current Semester:

For more information on instructors and sections for Fall 2017, please see our Fall 2017 Teaching Schedule Page

For more information on instructors and sections for this course for other semesters, please see our Teaching Schedule Page


For Instructors

Previous semesters:


Honors, Awards, Distinction

Contact Us

HillCenter small

Department of Mathematics

Department of Mathematics
Rutgers University
Hill Center - Busch Campus
110 Frelinghuysen Road
Piscataway, NJ 08854-8019, USA

Phone: +1.848.445.2390
Fax: +1.732.445.5530