Pokračovací kurs z centrální logiky: vlastnosti axiomatických teorií, kompaktnost, Peanova (a Robinsonova) aritmetika, Gödelovy věty o neúplnosti, gentzenovské (sekventové) kalkuly.
