Division of Science

Programs

General

External

Contact

Department of Mathematics
The City College of New York
160 Convent Avenue
New York, NY 10031

Phone: (212) 650-5346
Fax: (212) 650-6294
math@ccny.cuny.edu

Math 44400: Mathematical Logic

The propositional calculus, the sentential calculus, normal forms, first order theories, consistency, categoricity, decidability, Godel's incompleteness theorem, the Loewenheim-Skolem theorem. Prereq.: Math 32300 and (Math 34700 or Math 44900), or permission of the instructor. 4 HR./WK.; 4 CR.

Sections

  • None...
Up