Lecture Notes

Cardinal Arithmetic: Presentation and Tutorial sheet

Set theory: Notes

Completeness and compactness theorems

Introduction

Propositional logic Notes, Tutorial, Solutions

Predicate Logic Notes, Tutorial, Solutions

Syntax-semantics duality Notes

Gödel’s First Incompleteness Theorem: Presentation