MATH 4L03

INTRODUCTION TO MATHEMATICAL LOGIC

Undergraduate

First order logic, deduction systems, completeness and compactness theorems, model theory. Three lectures; one term

Fall 2026 · Intro:Math Logic · C01

Readings

Propositional And Predicate Calculus Ed: 1
Goldrei · 1 · Alternative
ISBN 9781852339210

Fall 2026 · C01

First order logic, deduction systems, completeness and compactness theorems, model theory. Three lectures; one term

Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei · 2005-09-08 · Required
Springer Science & Business Media · ISBN 9781852339210
Propositional and Predicate Calculus: A Model of Argument ISBN: 9781852339210 Authors: Derek Goldrei Publisher: Springer Science & Business Media Publication Date: 2005-09-08 This book is freely available for download through the McMaster Library website (access from campus or via login).
See source

Sources