http://www1.cuni.cz/~svejdar/?s=logii
Graduate course in logic devoted to properties of axiomatic theories, Peano (and Robinson) arithmetic, Gödel incompleteness theorems, Gentzen calculi.
