Search results
Your query:
Keywords = "formální logika"
- Logika 20. století: mezi filosofií a matematikou : výbor textů k moderní logice / [uspořádal], k vydání připravil a úvodními slovy opatřil Jaroslav Peregrin ; [jednotlivé články z anglických originálů přeložili Libor Běhounek ... et al.] . Praha : Filosofia, 2006 . 471 s . ISBN 80-7007-228-8 : . [1, currently available 1]
N47273; 16 (LOG)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 book
- Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy / Jaroslav Peregrin . Praha : Academia, 2004 . 205 s . ISBN 80-200-1187-0 . [2, currently available 2, Access to Shelves 1]
N51600; 16 (PER)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 Bohunice 1 0 0 0 0 book
- Logika pro studenty humanitních oborů / Prokop Sousedík . Praha : Vyšehrad, 1999 . 175 s . ISBN 80-7021-306-X . [2, currently available 2]
N35397; 16 (SOU)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 2 0 0 0 0 book
- Logika : průvodce pro každého / Graham Priest ; přeložil Petr Hromek . Praha : Dokořán, 2007 . 167 s . ISBN 978-80-7363-124-6 : . [1, currently available 1]
N48121; 16 (PRI)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 book
- Matematické důkazy / Rüdiger Thiele ; z něm. přel. Alois Kufner, Štefan Schwabik . Praha : SNTL, 1985 . 160 s . [1, currently available 1]
N21848-1; 51 (THI)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 
book
- Zajímavá logika : sbírka řešených příkladů s úvodem do výrokového a třídového kalkulu / Otakar Zich, Arnošt Kolman ; Il. Marcel Stecker . Praha : Mladá fronta, 1965 . 157 s . [1, currently available 1]
S1234; (ZICH)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 book
- Základy formální logiky / Vladimír Janák . Praha : SPN, 1973 . 235 s . [1, currently available 1]
N9508-1; 16 (JAN)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Ústřední knihovna 1 0 0 0 0 book
- Základy formální logiky / Vladimír Janák . Praha : SPN, 1976 . 235 s . [1, currently available 1, Access to Shelves 1]
N9508-2; 16 (JAN)Branch Available Inaccesible Issued Vyžádáno Počet rezervací Líšeň, Jírova 1 0 0 0 0 book