Computability and Logic

Syllabus:
Readings: Computability and Logic (5th Edition). Boolos, Burgess and Jeffrey.


LectureNotes
Introduction
Propositional Logic Review
Enumeration
Diagonalization
Turing Computability
Uncomputability
Recursive Functions
Recursive Sets
First Order Logic Syntax
First Order Logic Semantics
Undecidability
Models
Proofs and Completeness
Arithmetization
Indefinability, Undecidability, Incompleteness
Craigs Theorem
Modal Logic