MATH 408Mathematical Logic
- Faculty
- Mathematics
- Last listed
- 1975–76
No longer offered. It’s in Waterloo’s scanned calendars from 1971–72 to 1975–76; the 1995–96 to 2023–24 calendars are on ucalendar.
First order languages and theories. A treatment of at least one of the following: set theory, model theory, undecidability. This course is more specialized and at a more advanced level than Mathematics 436. 2 hours lectures
As printed in the 1971–72 to 1975–76 calendars, read by OCR; the scanned page is the original.
Check it elsewhere
In the scanned calendars
How it read in each calendar from 1971–72 to 1975–76, 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.
1971–72 to 1975–76 5 calendars
First order languages and theories. A treatment of at least one of the following: set theory, model theory, undecidability. This course is more specialized and at a more advanced level than Mathematics 436.
2 hours lectures