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
- 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
- Moderní logika / Otakar Zich ... [et al.]. Praha : Orbis, 1958 . 240 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRFH 0 0 0 1 0 0 Z 2 0 0 1 0 0 book
- A new introdcution to modal logic / G.E. Hughes, M.J. Cresswell. London ; New York, N.Y. : Routledge, c1996 . x, 421 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book