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

Řádek 13: Řádek 13:
 
* [[Substituce]]
 
* [[Substituce]]
 
* [[Schéma specifikace]]
 
* [[Schéma specifikace]]
 +
 +
<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br />
 +
* Š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.
  
 
[[Kategorie: Logiky]]
 
[[Kategorie: Logiky]]

Verze z 5. 10. 2014, 17:35


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.