Graduate course in logic devoted to properties of axiomatic theories, Peano (and Robinson) arithmetic, Gödel incompleteness theorems, Gentzen calculi.
