02857nam a22005777a 4500 000091831 CZ-PrVSE 20060309145808.0 ta 060308s2005 xr a fr 000 0 cze d cnb001636532 80-245-0974-1 (brož.) (OCoLC)85544084 ABA006 cze ABA006 ABA006 16 Logika Konspekt 5 160 Logic Conspectus 5 16 MRF 164 MRF 164.1/.2 MRF 510.633/.635 MRF 164JIR Jirků, Petr, 1942-2017 jn20001227484 aut Formální logika : neformální výklad základů formální logiky / Petr Jirků, Jiřina Vejnarová Vyd. 2. Praha : Oeconomica, 2005 161 s. : il. Nad názvem: Vysoká škola ekonomická v Praze, Fakulta informatiky a statistiky Obsahuje bibliografii logika ph122436 czenas formální logika ph120290 czenas výroková logika ph127455 czenas predikátová logika ph124584 czenas vysokoškolská skripta fd190824 czenas logic eczenas formal logic eczenas propositional calculus eczenas predicate calculus eczenas college textbooks eczenas Vejnarová, Jiřina, 1962- jn20001227485 aut 002444601 PDPZ0 Sc28989/5 N:vl. tisk 3142200995 20060308 164JIR 81 UEP01 BOOK Knihovna Žižkov depoz. 0 na 1 měsíc UEP01 20060308 PDPZ0 Sc28989/6 N:vl. tisk 3142200996 20060308 164JIR 81 UEP01 BOOK Knihovna Žižkov depoz. 0 na 1 měsíc UEP01 20060308 PDPZ0 Sc28989/7 N:náhrada 3142217381 20080207 164JIR 81 UEP01 BOOK Knihovna Žižkov depoz. 0 na 1 měsíc UEP01 20080207 PDPZ0 Sc28989/8 N:G 3142254157 20120221 164JIR 81 UEP01 BOOK Knihovna Žižkov depoz. 0 na 1 měsíc UEP01 20120221 PDPZ0 Sc28989/9 N:náhrada 3142312996 20180411 164JIR 81 UEP01 BOOK Knihovna Žižkov depoz. 0 na 1 měsíc UEP01 20180411 PJMHS Sc28989/3 N:vl. tisk 3142200993 20060308 164JIR 81 UEP01 BOOK Studovna JM na 1 měsíc UEP01 20060328 PJMSK Sc28989/4 N:vl. tisk 3142200994 20060308 164JIR 81 UEP01 BOOK Knihovna JM - sklad na 1 měsíc UEP01 20060328 PSTUD Sc28989 N:vl. tisk 3142200990 20060308 164JIR 85 UEP01 BOOK Studovna Žižkov prezenční UEP01 20060309 PSTUD Sc28989/1 N:vl. tisk 3142200991 20060308 164JIR 81 UEP01 BOOK Studovna Žižkov na 1 měsíc UEP01 20060309