Portál:Klasická logika: Porovnání verzí

Řádek 1: Řádek 1:
 
+
{{Portál}}
 
* [[Tautologie]]
 
* [[Tautologie]]
 
* [[Hilbertovský kalkul]]
 
* [[Hilbertovský kalkul]]

Verze z 3. 12. 2014, 22:39

Klasická logika



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.