Info.sjsu.edu


Index:  ABCDEFGHIJKLMNOPQRSTUVWXYZ   Search Keyword

MATH 271A

Mathematical Logic

Description
Formal systems; introductory model theory (Godel's completeness theorem, compactness, Lowenhein-Skolem theorem, etc.); Godel's incompleteness theorems. Prerequisite: MATH 171 or instructor consent. Notes: Alternate years.

Grading
Normal Grade Rules

Units
3