Portál:Klasická logika

• Tautologie
• Hilbertovský kalkul
• Gentzenovský sekventový kalkul
• Kalkul přirozené dedukce
• Věta o úplnosti
• Korektnost
• Věta o dedukci
• Normální formy formule
• Lindenbaumovo lemma
• Lemma o konstantách
• Henkinovská teorie
• Substituce
• Schéma specifikace

Doporučená literatura

• ŠVEJDAR Vítězslav. Logika: neúplnost, složitost a nutnost. Academia, Praha, 2002. ISBN: 80-200-1005-X.
• DALEN Dirk van. Logic and Structure. Springer, 2004. ISBN: 978-3-540-20879-2.
• SOCHOR Antonín. Klasická matematická logika. Karolinum, 2001.