PMATH 430BIntroduction to Mathematical Logic 2 Continuation of PMATH 430A. Gédel's
- Faculty
- Mathematics
- Credit
- 0.5
- Last listed
- 1990–91
No longer offered. It’s in Waterloo’s scanned calendars from 1978–79 to 1990–91; the 1995–96 to 2023–24 calendars are on ucalendar.
incompleteness theorem (in outline). Logicism, intuitionism, formalism. Selected topics (some of intuitionistic) logic, modal logic, the representation theorem for Boolean Algebras normally are treated). This course will be of interest to all math students.
As printed in the 1978–79 to 1990–91 calendars, read by OCR; the scanned page is the original.
Requirements, as last listed
Prereq: PMATH 430A
Check it elsewhere
In the scanned calendars
How it read in each calendar from 1978–79 to 1990–91, newest first. The text is OCR of the scanned pages; years whose wording matches are shown once, from the clearest scan. Each year links to its page on uwloo and to that page of the scanned PDF.
1978–79 to 1990–91 13 calendars
incompleteness theorem (in outline). Logicism, intuitionism, formalism. Selected topics (some of intuitionistic) logic, modal logic, the representation theorem for Boolean Algebras normally are treated).
This course will be of interest to all math students.
Prereq: PMATH 430A
3 class hours a week · 0.5 credit