Sylabus
http://www1.cuni.cz/~svejdar/?s=logii
Anotace
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.
http://www1.cuni.cz/~svejdar/?s=logii
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.