The City College of New YorkCCNY
Department of Mathematics
Division of Science

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.

This is an undergraduate version of Math A4400. You must take the graduate version if you want graduate credit.

The City College of New YorkCUNY
Instagram iconFacebook iconLinkedIn iconYouTube icon
© The City College of New York. All rights reserved.