Introduction to Logic

Seminar taught at Ruhr-Universität Bochum SoSe2018