Charles Explorer logo
🇬🇧

Chapters from Classical Logic I

Class at Faculty of Arts |
ALG519019

Annotation

Devoted to various not necessarily connected topics in meta-mathematics, non-classical logics and proof theory, like: self-reference and Provability Logic, relations between variants of set theory, combinatorial principles independent of PA, cut elimination and its quantitative aspects, Gentzen's proof of consistency of PA. Some topics are presented by students.