Knihovna

Zde je seznam knih, jež jsou dle mého názoru užitečné při studiu základů matematiky, seznam není v žádném případu vyčerpávající a jistě jsem průběžně některé další knihy zařadím.

  •  Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics) by Pavel Pudlák  Jedna z nejlepších knih o základech matematiky, která je také hlavním zdrojem myšlenek pro tento blog, úžasná kniha, plná krásným myšlenek nejen o logice ale i výpočetní složitosti

Knihy v češtině:

knih v češtině je málo, nicméně tři knihy jistě stojí za zmínku

  • Logika, neúplnost, složitost a nutnost od Vítězslava ŠvejdaraSkvělá kniha o logice, jež je podle mne jedna z nejlepších učebnic logiky i ve srovnání s anglicky psanou literaturou.    
  • Teorie množin od Balcara a ŠtěpánkaVelmi dobrá učebnice teorie množin, navíc v češtině
  • Klasická matematická logika, Antonín Sochor, Opět skvělá učebnice logiky       

Knihy v angličtině: