PMATH 430AIntroduction to Mathematical Logic 1
- Faculty
- Mathematics
- Offered
- Fall, Winter, Spring
- 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.
A broad introduction to Mathematical Logic. The logic of sentences: truthfunctions and axiomatic approaches (eg. Natural Deduction and Gentzen sequences). A brief introduction to the logic of predicates and to the foundations of mathematics. 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
Antireq: PMATH 432A
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
A broad introduction to Mathematical Logic. The logic of sentences: truthfunctions and axiomatic approaches (eg. Natural Deduction and Gentzen sequences). A brief introduction to the logic of predicates and to the foundations of mathematics.
Will be of interest to all math students.
Antireq: PMATH 432A
Offered Fall, Winter, Spring · 3 class hours a week · 0.5 credit