Portál:Logika/Klasická logika

Verze z 9. 12. 2014, 21:58, kterou vytvořil Veronika.Kovrzkova (diskuse | příspěvky) (Založena nová stránka s textem „* Tautologie | Substituce * Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce * [[Věta o úplnosti]…“)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)