Search results
- Foundations without foundationalism : a case for second-order logic / Stewart Shapiro. Oxford : Oxford University Press, Clarendon Press ; 2002 . xxii, 277 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- From Frege to Gödel : a source book in mathematical logic, 1879-1931 / Jean van Heijenoort. Cambridge, MA ; London : Harvard University Press, 1967 . viii, 664 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 0 0 0 1 0 0 book
- Introduction to mathematical logic / Elliott Mendelson. London : Chapman & Hall/CRC, 1997 . x, 440 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- K problematice měření v humanitních vědách / Zdeněk Půlpán. Praha : Academia, 2000 . 187 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 book
- Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům / Raymond Smullyan ; z anglického originálu Forever undecided (a puzzle guide to Gödel) přeložil Petr Hromek. Praha : Academia, 2003 . 308 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 2 0 0 0 0 0 Z 1 0 0 1 0 0 book
- Sylogistika / Kamila Bendová. Praha : Karolinum, 1998 . 102 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Základy logiky a argumentace : pro zájemce o umělou inteligenci, filozofii, práva a učitelství / Josef Bokr, Jan Svatek. Dobrá Voda : Aleš Čeněk, 2000 . 173 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PF 2 0 0 0 0 0 Z 1 0 0 1 0 0 book