Search results
- Algebraic foundations of many-valued reasoning / Roberto L.O. Cignoli, Itala M.L. D'Ottaviano and Daniele Mundici. Dordrecht : Kluwer Academic, c2000 . ix, 231 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 3 0 0 book
- Algebry formalizující výrokové logiky / Ivan Chajda. Olomouc : Univerzita Palackého v Olomouci, 2013 . 62 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 7 0 0 0 0 0 Z 0 0 0 1 0 0 book
- Cogito, ergo sum / Petr Glombíček, Jan Kuneš (eds.) ; [z anglického originálu přeložili Petr Glombíček, Jan Kuneš a Tomáš Marvan]. Praha : Filosofia, nakladatelství Filozofického útvaru AV ČR, 2006 . 177 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 2 0 0 Z 0 0 0 1 0 0 book
- Completeness theory for propositional logics / Witold A. Pogorzelski, Piotr Wojtylak. Basel : Birkhäuser, c2008 . viii, 178 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Formální logika v umělé inteligenci / Alena Lukasová. Brno : Computer Press, 2003 . ix, 269 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 0 0 0 Z 0 0 0 1 0 0 book
- Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Amsterdam : IOS Press, [2009] ©2009 . xiii, 966 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 book
- Introduction to logic : propositional logic / Howard Pospesel ; with an appendix on metatheory by William G. Lycan. Upper Saddle River, New Jersey : Prentice Hall, [2000] ©2000 . xii, 273 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0 book
- Logic and structure / Dirk van Dalen. Berlin ; Heidelberg ; New York : Springer, 1997 . x, 217 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy / Jaroslav Peregrin. Praha : Academia, 2004 . 205 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 1 0 0 0 0 0 Z 1 0 0 1 0 0 book
- Logika Gottloba Frega / Vojtěch Kolman. Praha : Filosofia, Nakladatelství filozofického ústavu AV ČR, 2002 . 295 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 Z 1 0 0 0 0 0 book