Rešerše (Dokumentografická jednorázová rešerše)
Knihy o logice v českém jazyce
Vypracovala: Krajská vědecká knihovna v Liberci Rumjancevova 1362/1 460 53 Liberec tel. +420-482 412 111 fax +420-482 412 122 www.kvkli.cz
[email protected]
Evidenční číslo: 15-2010
Klíčová slova: logika, rok vydání 1988-2009
Datum vypracování: 16.7.2010 Celkový počet záznamů: 197 Zpracovala: Ing. Martina Sanetrníková
1
Knihy o logice v českém jazyce Druhy dokumentů zachycených v rešerši: knihy dostupné v českých knihovnách
Časové vymezení: 1988 - 2009 Jazykové vymezení: dokumenty v českém jazyce
Zvolené uspořádání a počet záznamů:
Knihy
198 záznamů, řazeno abecedně dle příjmení autora, příp. dle názvu publikace.
Prohledávané zdroje: Online zdroje: • • •
Katalogy Krajské vědecké knihovny v Liberci Katalog Národní knihovny v Praze Jednotná informační brána
2
Knihy (→ umístění v KVK v Liberci) 1. ADAMEC, Jiří. Filosofické základy logiky vědeckého zkoumání. Brno : Masarykova univerzita, 1999. 99 s. ISBN 80-210-2118-7. 2. ADAMEC, Jiří. Psychologie logiky : interpretace z díla A.N. Whiteheada a B. Russella "Principia mathematica". Brno : Filosofický seminář - katedra teorie, 2008. 60 s. ISBN 978-80-87234-02-0. 3. AUSBERGEROVÁ, M.; FOLK, R. Logika : [příručka k přijímacím zkouškám na VŠ]. Plzeň : Krajské centrum vzdělávání a Jazyková škola s právem státní jazykové zkoušky, 2007. 181 s. ISBN 978-80-7020-165-7. 4. BEK, Roman. Logika. Praha : ČVUT, 1996. 119 s. ISBN 80-01-01477-0. 5. BEK, Roman. Logika. Vyd. 2. Praha : Vydavatelství ČVUT, 2000. 119 s. ISBN 80-01-02322-2. 6. BĚLÍK, Miroslav. Matematika pro studium učitelství 1. stupně základní školy. Ústí nad Labem : Univerzita J.E. Purkyně, 1996. 115 s. ISBN 80-7044-133-X. 7. BĚLÍK, Miroslav. Matematika pro studium učitelství 1. stupně základní školy. Vyd. 2. Ústí nad Labem : Univerzita J.E. Purkyně, Pedagogická fakulta, 2000. 115 s. ISBN 80-7044-311-1. 8. BĚLÍK, Miroslav. Matematika pro kombinované studium učitelství 1. stupně základní školy. Ústí nad Labem : Univerzita J.E. Purkyně, Pedagogická fakulta, 2002. 150 s. ISBN 80-7044-430-4. 9. BENYOVSZKY, L.; KUNCA, T. Úvod do logiky. Praha : SNTL, 1991. 101 s. ISBN 80-7079264-7. 10. BENYOVSZKY, L.; KUNCA, T. Úvod do logiky. [Dotisk 1. vyd.]. Praha : VŠE, 1993. 101 s. ISBN 80-7079-264-7. → Studijní, Sklad, sign. B 37177 11. BENYOVSZKY, Ladislav aj. Filosofická propedeutika. První díl. Praha : SOFIS, 1999. 308 s. ISBN 80-902439-8-3. → Všeobecná, Naučná, MDT 101, sign. A 156486/[1] 12. BENYOVSZKY, Ladislav aj. Filosofická propedeutika. II. V Praze : SOFIS; Pastelka, 2001. 263 s. ISBN 80-902785-2-3. → Všeobecná, Naučná, MDT 101, sign. A 156486/2 13. BERKA, K.; RYBOVÁ, J. Logika a metodologie pro žurnalisty. Praha : Novinář, 1988. 215 s. → Studijní, Sklad, sign. A 122397 14. BERKA, Karel. Stručné dějiny logiky. Praha : Karolinum, 1994. 162 s. ISBN 80-7066-917-9. 15. BÍLÝ, Jiří. Základy ekonomie, mezinárodních vztahů, logiky a teorie vědy. Praha : Eurolex Bohemia, 2005. 200 s. ISBN 80-86861-23-6. → Všeobecná, Naučná, MDT 33, sign. A 191544 16. BÍLÝ, Jiří. Základy společenských věd. I., Základy ekonomie, mezinárodních vztahů, logiky a teorie vědy. Ostrava : Key Publishing, 2009. 158 s. ISBN 978-80-7418-012-5. 17. BOKR, J.; SVATEK, J. Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii,
3
práva a učitelství. Dobrá Voda u Pelhřimova : Aleš Čeněk, 2000. 173 s. ISBN 80-902627-8-3. → Všeobecná, Naučná, MDT 161/162, sign. A 159640 18. BOKR, Josef. Principy umělé inteligence. Plzeň : Západočeská univerzita, 1992. 121 s. ISBN 807082-061-6. 19. CMOREJ, Pavel. Úvod do logické syntaxe a sémantiky. V Praze : Triton, 2002. 228 s. ISBN 807254-294-X. → Všeobecná, Naučná, MDT 16, sign. A 183480 20. COUFAL, J.; LÍNEK, V. Logika a matematika pro ekonomy. Praha : Vysoká škola ekonomie a managementu, 2009. 371 s. ISBN 978-80-86730-48-6. 21. COUFAL, Jan. Matematika : efektivní vyčíslitelnost : určeno pro posl. fak. řízení. Praha : SPN, 1989. 139 s. ISBN 80-7079-828-9. → Studijní, Sklad, sign. B 36734 22. CRYAN, D.; SHATIL, S.; MAYBLIN, B. Logika. Praha : Portál, 2002. 180 s. ISBN 80-7178707-8. → Všeobecná, Naučná, MDT 16, sign. A 169816 23. ČANA, Tomáš aj. Meze formalizace, analytičnosti a prostoročasu. Praha : Filosofia, 2007. 301 s. ISBN 978-80-7007-268-4. → Všeobecná, Naučná, MDT 164, sign. A 187072 24. ČECHÁK, Vladimír. Základy logiky a metodologie. Praha : Vysoká škola finanční a správní, 2007. 65 s. ISBN 978-80-86754-90-1. 25. DANEŠOVÁ, Barbora aj. Poznámky k argumentaci. Ústí nad Orlicí : Oftis pro Ústav filosofie a společenských věd Fakulty humanitních studií Univerzity Hradec Králové, 2006. 184 s. ISBN 8086845-60-5. 26. DELUZE, G.; GUATTARI, F. Co je filozofie? Praha : Oikoymenh, 2001. 191 s. ISBN 80-7298030-0. 27. DEMLOVÁ, M.; PONDĚLÍČEK, B. Matematická logika. Praha : ČVUT, 1997. 160 s. ISBN 8001-01683-8. 28. DOSTÁL, Petr. Optimalizační metody. Kunovice : Evropský optimalizační institut, 2008. 44 s. ISBN 978-80-7314-136-3. 29. DOSTÁLOVÁ, L.; MARVAN, T. (ed.). Quine: nejen Gavagai : sborník příspěvků ze semináře katedry filozofie Fakulty filozofické ZČU. Plzeň : Západočeská univerzita, 2008. 122 s. ISBN 97880-7043-638-7. → Všeobecná, Naučná, MDT 14, sign. A 187801 30. DOSTÁLOVÁ, L.; ŠEBELA, K. (ed.). Organon V., aneb kolik logiky za nás mohou učit počítače? : sborník příspěvků ze semináře o výuce logiky, Olomouc, 28.-31. srpna 2006. Praha : Univerzita Karlova v Praze, Filozofická fakulta, 2006. 152 s. ISBN 80-7308-140-7. 31. DOSTÁLOVÁ, L.; ŠEBELA, K. (ed.). Organon VI., aneb odkud a jak brát stále nové příklady? : sborník příspěvků ze semináře o výuce logiky, Dub nad Moravou, 14.-17. září 2008. Plzeň : Vydavatelství Západočeské univerzity v Plzni, 2009. 137 s. ISBN 978-80-7043-840-4. 32. DOSTÁLOVÁ, Ludmila aj. Odkud a jak brát stále nové příklady? : elektronická databáze příkladů pro úvodní kurzy logiky na vysokých školách. Plzeň : Vydavatelství Západočeské
4
univerzity v Plzni, 2009. 121 s. ISBN 978-80-7043-864-0. 33. DRUCKMÜLLER, Miloslav. Technické aplikace vícehodnotové logiky. Brno : PC-DIR, 1998. 32 s. ISBN 80-214-1231-3. 34. DURDÍK, T.; VARADZINOVÁ, K. Právo a logika : testy. Praha : Fragment, 2008. 203 s. ISBN 978-80-253-0588-1. → Všeobecná, Naučná, MDT 371.2, sign. A 187548 35. DVORSKÝ, Přemysl. Základy logiky v temporalitě lidské existence : spor o psychologismus v myšlení Martina Heideggera. Nymburk : OPS, 2008. ISBN 978-80-903773-5-6. 36. DVOŘÁČKOVÁ, Kamila. Logika : pro přijímací zkoušky na právnické fakulty. Praha : Tutor, 2002. 94 s. ISBN 80-86700-02-X. 37. DVOŘÁČKOVÁ, Kamila. Logika v přijímacích testech na právnické fakulty : [praktický průvodce a cvičebnice : teorie, příklady s řešením, příklady k procvičování]. Praha : Tutor, 2003. 177 s. ISBN 80-86700-05-4. 38. DVOŘÁK, Petr. Jan Caramuel z Lobkovic : vybrané aspekty formální a aplikované logiky. Praha : Oikoymenh, 2006. 291 s. ISBN 80-7298-179-X. 39. EBEROVÁ, J.; STOPENOVÁ, A. Matematika pro studium vychovatelství osob vyžadujících zvláštní péči : určeno pro posl. oboru vychovatelství a učitelství SMVZP. Olomouc : Univerzita Palackého, 1989. 55 s. 40. EBEROVÁ, J.; STOPENOVÁ, A. Matematika I. Olomouc : Vydavatelství Univerzity Palackého, 1997. 69 s. ISBN 80-7067-740-6. 41. EICHLER, B.; RYSKA, R.; SVOBODA, V. Základy společenských věd : pro střední školy. 2, Základy státoprávní teorie. Základy ekonomie a ekonomiky. Základy neformální logiky. Praha : Fortuna, 1995. 165 s. ISBN 80-7168-240-3. → Všeobecná, Naučná, MDT 342, sign. A 142936/2 42. EICHLER, B.; RYSKA, R.; SVOBODA, V. Základy státoprávní teorie, ekonomie a ekonomiky, neformální logiky : základy společenských věd. 2. vyd. Praha : Fortuna, 1997. 165 s. ISBN 807168-456-2. 43. EICHLER, B.; RYSKA, R.; SVOBODA, V. Základy státoprávní teorie, ekonomie a ekonomiky, neformální logiky : základy společenských věd. 3., upr. vyd. Praha : Fortuna, 2001. 164 s. ISBN 80-7168-787-1. 44. EICHLER, B.; RYSKA, R.; SVOBODA, V. Základy státoprávní teorie, ekonomie a ekonomiky, neformální logiky : základy společenských věd. 4., upr. vyd. Praha : Fortuna, 2007. 160 s. ISBN 978-80-7373-004-8. → Všeobecná, Naučná, MDT 342, sign. A 194007 45. Ekonomika. Ekologie. Výchova. Logika a rétorika. Tradice. Praha : Magnet-Press, 1991. 80 s. → Studijní, Sklad, sign. F 35828 46. ENGLIŠ, K. Věčné ideály lidstva. Praha : Vyšehrad, 1992. 161 s. ISBN 80-7021-113-X. → Všeobecná, Naučná, MDT 172, sign. A 137806 47. FEBER, J.; HRUBEŠ, J.; KOBZAR, V.I. Logika pro studijní obor učitelství občanské nauky : určeno stud. denního studia, studia při zaměstnání a postgrad. studia. Ostrava : Pedagogická
5
fakulta, 1988. 193 s.
→ Studijní, Sklad, sign. A 128782
48. FUCHS, Jiří. Filosofie : úvod do filosofie. 1, Filosofická logika. Praha : Československá provincie Řádu bratří kazatelů, 1993. 191 s. ISBN 80-900024-7-1. → Všeobecná, Naučná, MDT 161/162, sign. A 138009/1 49. FUCHS, Jiří. Filosofie : úvod do filosofie. 1, Filosofická logika. Vyd. 2. Praha : Krystal OP, 1997. 190 s. ISBN 80-85929-19-8. 50. FUCHS, Jiří. Filosofie : úvod do filosofie. 1, Filosofická logika. 3. vyd. Praha : Krystal OP, 1999. 190 s. ISBN 80-85929-37-6. 51. FUCHS, Jiří. Kritické úvahy II. Praha : Krystal OP, 1994. 86 s. ISBN 80-901528-8-0. 52. FUCHS, Jiří. Kritické úvahy III. Praha : Krystal OP, 1996. 66 s. ISBN 80-85929-09-0. 53. GÖDEL, Kurt. Filosofické eseje. Praha : OIKOMENH, 1999. 220 s. ISBN 80-86005-64-X. → Všeobecná, Naučná, Fejetony»GÖ, sign. A 156396 54. GODULOVÁ, M.; JANŮ, I.; KOCOURKOVÁ, R. Matematika A. Vyd. 3., upr. V Opavě : Slezská univerzita, Obchodně podnikatelská fakulta v Karviné, 2000. 232 s. ISBN 80-7248-073-1. 55. GREDT, Joseph. Základy aristotelsko-tomistické filosofie. Praha : Krystal OP, 2009. 583 s. ISBN 978-80-87183-09-0. 56. HAVLÍK, Vladimír. Mezi jazykem a vědomím. Praha : Filosofia, 1999. 221 s. ISBN 80-7007-1281. 57. HEGEL, Georg Wilhelm Friedrich. Malá logika : encyklopedie filozofických věd. Díl 1. Praha : Svoboda, 1992. 385 s. ISBN 80-205-0153-3. → Studijní, Sklad, sign. A 135130/1 58. HEMELÍK, Martin. Exercitium logicum. Praha : VŠE, 1994. 53 s. ISBN 80-7079-556-5. → Studijní, Sklad, sign. B 40901 59. HROMEK, Petr. Logika v příkladech. Olomouc : Univerzita Palackého, 2002. 210 s. ISBN 80244-0578-4. 60. HRUBEŠ, Jaromír. Uplatnění logiky ve výuce občanské výchovy. Ostrava : Scholaforum, 1996. 22 s. ISBN 80-86058-06-9. 61. HUDEC, Tomáš. Chemické výpočty s logikou I. Ostrava : Ostravská univerzita, 2004. 49 s. ISBN 80-7042-962-3. 62. HUDEC, Tomáš. Chemické výpočty s logikou II. Ostrava : Ostravská univerzita, 2004. 51 s. ISBN 80-7042-979-8. 63. HUSSERL, Edmund. Formální a transcendentální logika. Praha : Filosofia, 2007. 327 s. ISBN 978-80-7007-250-9. → Všeobecná, Naučná, MDT 165, sign. A 184725 64. HUSSERL, Edmund. Logická zkoumání. I, Prolegomena k čisté logice. Praha : Oikoymenh, 2009. 234 s. ISBN 978-80-7298-270-7. → Studijní, Studovna, sign. A 194705/1 – pouze prez.
6
65. JAURIS, M.; ZASTÁVKA, Z. Základy neformální logiky : učební text pro střední školy. Praha : S&M, 1992. 63 s. ISBN 80-901387-1-3. 66. JIRÁSKO, Josef. Matematika 35 : matematická logika. Praha : ČVUT, Stavební fakulta, 1997. 106 s. ISBN 80-01-01668-4. 67. JIRKŮ, P.; VEJNAROVÁ, J. Formální logika : neformální výklad základů formální logiky. Praha : VŠE, 2000. 161 s. ISBN 80-245-0054-X. → Studijní, Skripta, MDT 164, sign. B 45483 68. JIRKŮ, Petr. Logika : neformální výklad základů formální logiky. Praha : VŠE, 1993. 108 s. ISBN 80-7079-663-4. → Studijní, Skripta, MDT 16, sign. B 40223 69. JIRKŮ, Petr. Logika : neformální výklad základů formální logiky. Vyd. 2. Praha : Oeconomica, 2005. 161 s. ISBN 80-245-0974-1. 70. JURA, Pavel. Fuzzy logika v modelování a řízení dynamických systémů : současný stav, perspektivy a výuka = Fuzzy logic in modelling and control of dynamic systems : state of the art, perspective and education : teze přednášky k profesorskému jmenovacímu řízení v oboru Technická kybernetika. Brno : VUTIUM, 2005. 24 s. ISBN 80-214-3019-2. 71. JURA, Pavel. Základy fuzzy logiky pro řízení a modelování. Brno : VUTIUM, 2003. 132 s. ISBN 80-214-2261-0. 72. KLEIN, Ondřej. Argumentace v komunikaci : (průzkum komunikačního pojetí argumentu). Praha : Univerzita Karlova v Praze – Filozofická fakulta, 2007. 134 s. ISBN 978-80-7308-209-3. 73. KLÍČ, A.; HAPALOVÁ, V. Úvod od studia matematiky na VŠCHT. 2. vyd. Praha : Vysoká škola chemicko-technologická, 1994. 137 s. ISBN 80-7080-204-9. 74. KNAPP, V.; GERLOCH, A. Logika v právním myšlení. 3. aktualiz. vyd. Praha : Eurolex Bohemia, 2000. 230 s. ISBN 80-86432-02-5. → Všeobecná, Naučná, MDT 16, sign. A 160371 75. KNAPP, V.; GERLOCH, A. Příručka ke studiu právní logiky. 32 s. Praha : Univerzita Karlova, 1988. → Studijní, Sklad, sign. G 7132 76. KNAPP, Viktor. Vědecká propedeutika pro právníky. Praha : Eurolex, 2003. 233 s. ISBN 8086432-54-8. → Všeobecná, Naučná, MDT 001, sign. A 183530 77. KOCMANOVÁ, Marie aj. Právo a logika : otázky k přípravě na přijímací zkoušky. 2. vyd. Brno : Barrister&Principal, 2005. 231 s. ISBN 80-7364-003-1. 78. KOLÁŘ, J.; CHYTIL, M.; ŠTĚPÁNKOVÁ, O. Logika, algebry a grafy : celost. vysokošk. učebnice pro elektrotechn. fakulty vys. škol technických. Praha : SNTL; Bratislava : Alfa, 1989. 434 s. → Studijní, Sklad, sign. A 125530 79. KOLÁŘ, Josef. Teoretická informatika. 2. vyd. Praha : Česká informatická společnost, 2000. 204 s. ISBN 80-900853-8-5.
7
80. KOLÁŘ, P.; SVOBODA, V. Logika a etika : úvod do metaetiky. Praha : Filosofia, 1997. 276 s. ISBN 80-7007-100-1. → Všeobecná, Naučná, MDT 17, sign. A 151779 81. KOLÁŘ, Petr. Argumenty filosofické logiky. Praha : Filosofia, 1999. 327 s. ISBN 80-7007-121-4. → Všeobecná, Naučná, MDT 161/162, sign. A 156401 82. KOLÁŘ, Petr. Pravda a fakt. Praha : Filosofia, 2002. 312 s. ISBN 80-7007-168-0. 83. KOLMAN, Vojtěch. Logika Gottloba Frega. Praha : Filosofia, 2002. 295 s. ISBN 80-7007-164-8. → Všeobecná, Naučná, MDT 164, sign. A 168353 84. KOLMAN, Vojtěch (ed.). Možnost, skutečnost, nutnost : příspěvky k modální propedeutice. Praha : Filosofia, 2005, 285 s. ISBN 80-7007-203-2. 85. KOMÁREK, Jan. Konkrétní logika : skripta : obrana ducha a jazyka nejen českého před špatnými Aristotelovými žáky. Praha : J. Komárek; Baronet, 2008. 202 s. ISBN 978-80-7384-115-7. → Studijní, Studovna, MDT 16, sign. B 50532 – pouze prez. 86. KOUCKÝ, M.; ZELINKA, B. Diskrétní matematika I. Liberec : Technická univerzita, 2003. 90 s. ISBN 80-7083-715-2. → Studijní, Skripta, MDT 51, sign. B 46884/1 87. KRAML, Hans. Logická propedeutika : skriptum k přednášce..., Innsbruck 1983. Olomouc : Matice cyrilometodějská, 1994. 37 s. → Všeobecná, Naučná, MDT 161/162, sign. G 10398 88. KURZOVÁ, Helena (ed.). Megarikové : zlomky. Praha : OIKOYMENH, 2007. 330 s. ISBN 97880-7298-138-0. → Studijní, Dvojjazyčná literatura, MDT 14, sign. A 190938 89. LAW, Stephen. Filozofická gymnastika : 25 krátkých myšlenkových dobrodružství. Praha : Argo, 2007. 342 s. ISBN 978-80-7203-882-4. → Všeobecná, Naučná, MDT 17, sign. A 185353 90. Logos apofantikos. Praha : Rezek, 2000. 135 s. ISBN 80-86027-17-1. 91. LUKASOVÁ, Alena. Formální logika v umělé inteligenci : [logika prvního řádu : klauzulární logika : formální dedukce : logické důsledky]. Brno : Computer Press, 2003. 269 s. ISBN 80-2510023-5. → Všeobecná, Naučná, MDT 164, sign. A 172152 92. LUKASOVÁ, Alena. Logické základy umělé inteligence I. Ostrava : Ostravská univerzita, 2003. 168 s. ISBN 80-7042-846-5. 93. LUKASOVÁ, Alena. Logické základy umělé inteligence. 1, Výroková a predikátová logika. Ostrava : Ostravská univerzita, 1995. 154 s. ISBN 80-7042-724-8. → Studijní, Sklad, sign. B 41886/1 94. LUKASOVÁ, Alena. Logické základy umělé inteligence. 1, Výroková a predikátová logika. Vyd. 2., přeprac. Ostrava : Ostravská univerzita, Přírodovědecká fakulta, 1999. 178 s. ISBN 80-7042773-6. 95. LUKASOVÁ, Alena. Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce. Ostrava : Ostravská univerzita, 1997. 163 s. ISBN 80-7042-745-0.
8
96. LUKASOVÁ, Alena. Logické základy umělé inteligence. 2, Formalizace a automatizace dedukce. 2., přeprac. vyd. Ostrava : Ostravská univerzita, Přírodovědecká fakulta, 2002. 168 s. 97. LUKASOVÁ, Alena. Logika pro učitele I. Ostrava : Ostravská univerzita, 2003. 155 s. ISBN 807042-856-2. 98. LUKASOVÁ, Alena. Logika pro učitele II. Ostrava : Ostravská univerzita, 2003. 173 s. ISBN 807042-871-6. 99. LUKÁŠ, Pavel. Logika. Vyd. 2. Brno : Masarykova univerzita v Brně pro Pedagogickou fakultu, 1992. 32 s. ISBN 80-210-0529-7. 100.
MACH, Jan. Matematika je jen jedna. Liberec : Labyrint Bohemia, 2005. 112 s. ISBN 80-2394291-3. → Všeobecná, Naučná, MDT 51, sign. F 45580
101.
MAREŠ, Jan. Matematická logika. V Praze : České vysoké učení technické, 2009. 92 s. ISBN 978-80-01-04478-0.
102. MARVAN, T.; ZOUHAR, M. (ed.). Svet jazyka a svet za jazykom = The world of language and the world beyond language : (a festschrift for Pavel Cmorej). Bratislava : Filozofický ústav Slovenskej akadémie vied, 2007. 231 s. ISBN 978-80-967225-9-4. → Studijní, Sklad, sign. A 185518 103. :
MATERNA, P.; PALA, K.; ZLATUŠKA, J. Logická analýza přirozeného jazyka. 143 s. Praha Academia, 1989. ISBN 80-200-0027-5. → Studijní, Sklad, sign. A 128560
104.
MATERNA, P.; ŠTĚPÁN, J. Filozofická logika: nová cesta? : úvod do transparentní intenzionální logiky. Olomouc : Univerzita Palackého, 2000. 134 s. ISBN 80-244-0109-6.
105. MATERNA, Pavel. Svět pojmů a logika. Praha : Filosofia, 1995. 131 s. ISBN 80078-1. → Všeobecná, Naučná, MDT 16, sign. A 145212
7007-
106.
MATERNA, Pavel. Svět pojmů a logika. 2., opr. vyd. Praha : Filosofia, 2000. 135 s. ISBN 80-7007-085-4. → Všeobecná, Naučná, MDT 161/162, sign. A 160860
107.
MRÁZ, Milan. K implikaci v Aristotelově Logice. Praha : Academia, 1988. 94 s. → Studijní, Sklad, sign. A 125177
108.
MRÁZ, Vlastimil. Logika pro pedagogy. 1. dotisk 2. vyd. Praha : SPN, 1988. 201 s. → Studijní, Sklad, sign. B 35113
109.
NAGEL, E.; NEWMAN, J.R. Gödelův důkaz. V Brně : VUTIUM, 2003. 126 s. ISBN 80-2142369-2.
110.
NAGEL, E.; NEWMAN, J.R. Gödelův důkaz. V Brně : VUTIUM, 2006. 126 s. ISBN 80-2143174-1.
111. NAGYOVÁ, Ingrid. Základy logiky. Ostrava : Ostravská univerzita, Pedagogická fakulta, 2005. 91 s. ISBN 80-7368-125-0. 112.
NAVARA, Mirko. Teorie pravděpodobnosti na kvantových a fuzzy logikách = Probability
9
theory on quantum and fuzzy logics. Praha : ČVUT, 2005. 32 s. ISBN 80-01-03247-7. → Studijní, Sklad, sign. A 176178 113.
NEČAS, Ondřej S. Růžový slon v domě a jiné logičnosti, aneb úvod do tajů výrokové logiky se zvláštním přihlédnutím k logickým hádankám a rébusům. Brno : Masarykova univerzita, 2006. 72 s. ISBN 80-210-4066-1.
114. NEDOMA, Josef. Matematika I. Část první, Algebra a geometrie. Brno : PC-DIR, 1998. 129 s. ISBN 80-214-1177-5. 115. NEDOMA, Josef. Matematika I. Část první, Algebra a geometrie. Vyd. 2. Brno : DIR, 2000. 129 s. ISBN 80-214-1696-3.
PC-
116. NOVÁK, L.; DVOŘÁK, P. Úvod do logiky aristotelské tradice. České Budějovice : Teologická fakulta Jihočeské univerzity v Českých Budějovicích, 2007. 217 s. ISBN 978-807040-959-6. 117. NOVÁK, Vilém. Základy fuzzy modelování. Praha : BEN-technická literatura, 2000. 175 s. ISBN 80-7300-009-1. → Všeobecná, Naučná, MDT 510.2, sign. A 161018 118. NOVOTNÁ, V.; PISKLÁK, B. Matematika ve studiu učitelství 1. stupně základní školy. Ostrava : Ostravská univerzita, Pedagogická fakulta, 2002. 222 s. ISBN 80-7042-217-3. 119.
NOVOTNÁ, Vilma. Matematika pro učitele primárního vzdělávání : množiny a výroky : distanční text. Ostrava : Ostravská univerzita, Pedagogická fakulta, 2004. 99 s. ISBN 80-7368012-2.
120. NYTROVÁ, O.; PILÁLKOVÁ, M. Etika a logika v komunikaci. Praha : Jana Amose Komenského Praha, 2007. 340 s. ISBN 978-80-86723-45-7. → Studijní, Skripta, MDT 316.7, sign. A 193103 121.
Univerzita
OTISK, Marek. Aristoteles christianus : peripatetická tradice v latinském myšlení 10. a 11. století. Ostrava : Montanex, 2008. 218 s. ISBN 978-80-7225-267-1.
122. PÁNKOVÁ, Václava. Aplikovaná matematická logika : určeno pro posl. fak. řízení. 67 s. Praha : Vysoká škola ekonomická, 1988. 123. PATZIG, Günther. Immanuel Kant: Jak jsou možné syntetické soudy a priori? Praha : Filosofia, 2003. 87 s. ISBN 80-7007-173-7. 124. PATZIG, Günther. Immanuel Kant: Jak jsou možné syntetické soudy a priori? 2., opr. vyd. Praha : Filosofia, 2004. 87 s. ISBN 80-7007-187-7. 125. PELIŠ, Michal. Logika : učebnice pro přijímací zkoušky na právnické a humanitní fakulty. Mělník : AMOS, 2002. 136 s. ISBN 80-903090-0-3. → Všeobecná, Naučná, MDT 16, sign. A 164297 126. PELIŠ, Michal. Logika : učebnice pro přijímací zkoušky na právnické a humanitní fakulty. 2. vyd. Praha : Amos, 2002. 132 s. ISBN 80-903090-9-7. → Všeobecná, Naučná, MDT 16 sign. A 164297 127. PEREGRIN, J.; SOUSEDÍK, S. (ed.). Co je analytický výrok? Praha : Oikoymenh, 1995. 142 s. → Všeobecná, Naučná, MDT 161/162, sign. A 145329
10
128. PEREGRIN, Jaroslav. Filosofie a jazyk : (eseje a úvahy). V Praze : Triton, 2003. ISBN 80- 7254-432-2. → Všeobecná, Naučná, MDT 316.4, sign. A 172064
210 s.
129.
PEREGRIN, Jaroslav. Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy. Praha : Academia, 2004. 205 s. ISBN 80-200-1187-0. → Všeobecná, Naučná, MDT 164, sign. A 173586
130.
PEREGRIN, Jaroslav. Logika ve filosofii, filosofie v logice (historický úvod do analytické filosofie. 124 s. Praha : Herrmann, 1992.
131.
PEREGRIN, Jaroslav (ed.). Logika 20. století : mezi filosofií a matematikou : výbor textů k moderní logice. Praha : Filosofia, 2006. 471 s. ISBN 80-7007-228-8. → Všeobecná, Naučná, MDT 16, sign. A 184013
132. PEZLAR, Z.; RYBIČKA, J. Teoretické základy informatiky. Brno : Konvoj, 1999. 51 s. ISBN 80- 85615-99-1. 133.
PLATÓN. Sofistés. 2. vyd. Praha : ISE, 1995. 96 s.
134.
PLATÓN. Sofistés. 4., opr. vyd. Praha : Oikoymenh, 2009. 95 s. ISBN 978-80-7298-162-5.
135. POPPER, Karl Raimund. Logika vědeckého bádání. Praha : Oikoymenh, 1997. 617 s. ISBN 80- 86005-45-3. → Všeobecná, Naučná, MDT 001.89, sign. A 151069 136.
PRIEST, Graham. Logika. Praha : Dokořán, 2007. 167 s. ISBN 978-80-7363-124-6. → Všeobecná, Naučná, MDT 16, sign. A 185344
137. PŮLPÁN, Zdeněk. O problematice otázek a odpovědí. Hradec Králové : 2007. 72 s. ISBN 978-80-7041-046-2.
Gaudeamus,
138. QUINE, Willard Van Orman. Covitosti : občasně filosofický slovník. Praha : Mladá fronta, 2008. 260 s. ISBN 978-80-204-1473-1. → Všeobecná, Naučná, MDT 14, sign. A 188416 139.
QUINE, Willard Van Orman. Hledání pravdy. Praha : Hermann, 1994. 127 s.
140. QUINE, Willard Van Orman. Od stimulu k vědě. Praha : Filosofia, 2002. 151 s. ISBN 807007157-5. → Všeobecná, Naučná, MDT 165, sign. A 165436 141.
RACLAVSKÝ, Jiří. Jména a deskripce : logicko-sémantická zkoumání. Olomouc : Nakladatelství Olomouc, 2009. 381 s. ISBN 978-80-7182-277-6.
142. ROTT, Hilbert. Metoda transformací logických formulí. Praha : Academia, 1989. 126 s. ISBN 80- 200-0107-7. → Studijní, Sklad, sign. A 127275 143. :
RUBEŠ, Zdeněk. Logika pro humanitní obory : (učební text pro zahraniční studenty). V Praze Karolinum, 2001. 125 s. ISBN 80-246-0297-0.
144. RUSSEL, Bertrand. Logika, věda, filozofie, společnost. Praha : Svoboda1993. 272 s. ISBN 80-205-0219-X. → Všeobecná, Naučná, MDT 16, sign. A 139152
11
Libertas,
145.
SEIFE, Charles. Nula : životopis jedné nebezpečné myšlenky. Praha : Nakladatelství Dokořán a Argo, 2005. 263 s. ISBN 80-7363-048-6 (Dokořán); ISBN 80-7203-741-2 (Argo). → Všeobecná, Naučná, MDT 510, sign. A 180188
146. SELUCKÝ, Oldřich. Logika : pro střední školy. Praha : Fortuna, 1995. 235 s. ISBN 80-71682012. → Všeobecná, Naučná, MDT 16, sign. A 142531 147. SMULLYAN, Raymond Merrill. Navěky nerozhodnuto : úvod do logiky a zábavný průvodce ke Gödelovým objevům. Praha : Academia, 2003. 308 s. ISBN 80-200-1068-8. → Všeobecná, Naučná, MDT 16, sign. A 172179 148. SOCHOR, Antonín. Klasická matematická logika. V Praze : Karolinum, 2001. 402 s. ISBN 80- 246-0218-0. 149. SOLOVJOV, Vladimír. Filosofické základy komplexního vědění. Velehrad : Refugium Velehrad- Roma; Olomouc : Centrum Aletti Velehrad-Roma, 2001. 220 s. ISBN 80-86045-73-0. → Studijní, Sklad, sign. A 164657 150. SOUSEDÍK, Prokop. Jazyk – logika - věda. Praha : Filosofia, 2005. 351 s. ISBN 80-7007212-1. → Všeobecná, Naučná, MDT 80, sign. A 179437 151.
SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. Praha : Vyšehrad, 1999. 175 s. ISBN 80-7021-306-X. → Všeobecná, Naučná, MDT 16, sign. A 156730
152.
SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. Vyd. 2., rozš. Praha : Vyšehrad, 2001. 222 s. ISBN 80-7021-509-7.
153. SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. Vyd. 3. Praha : Vyšehrad, 2008. 222 s. ISBN 978-80-7021-970-6. 154. STOPENOVÁ, Anna. Základy matematiky 1. Olomouc : Univerzita Palackého, 2003. 59 s. ISBN 80-244-0758-2. 155. STRACH, Jiří. Logika. Brno : Masarykova univerzita, Pedagogická fakulta, 2003. 82 s. ISBN 80- 210-3066-6. 156. STRACH, Jiří. Logika. 2. vyd. Brno : Masarykova univerzita, 2009. 84 s. ISBN 978-80-21050259. 157. SVATEK, Jan. Logika I. Plzeň : Západočeská univerzita, Právnická fakulta, 1995. 159 s. ISBN 80-7082-189-2. 158.
SVATEK, Jan. Úvod do logiky : určeno pro 2. a 3. roč. fak. strojní a fak. elektrotechn. 129 s. Plzeň : Vysoká škola strojní a elektrotechnická, 1991. ISBN 80-7082-031-4.
159. SVATEK, J.; DOSTÁLOVÁ, L. Logika pro humanistiku. Dobrá Voda : Aleš Čeněk, 2003. 231 s. ISBN 80-86473-54-6. → Všeobecná, Naučná, MDT 16, sign. A 182563/+3 příl. 160. SVOBODA, V.; PEREGRIN, J. Od jazyka k logice : filozofický úvod do logiky. Praha : Academia, 2009. 428 s. ISBN 978-80-200-1740-6. → Všeobecná, Naučná, MDT 16, sign. A 194596
12
moderní
161.
SZYMANEK, Krzysztof. Umění argumentace : terminologický slovník. Olomouc : Univerzita Palackého, 2003. 392 s. ISBN 80-244-0699-3. → Všeobecná, Naučná, MDT 16, sign. A 174209 → Studijní, Studovna, MDT 16, sign. A 174209a – pouze prez.
162.
SZYMANEK, Krzysztof. Umění argumentace : úlohy na zkoumání argumentů. Olomouc : Univerzita Palackého v Olomouci, 2004. 148 s. ISBN 80-244-0834-1. → Všeobecná, Naučná, MDT161/162 , sign. A 185401
163.
ŠARGON, František. Člověk a jeho myšlení a chování a inteligentní řešení problémů ve všech oblastech jeho činností. Brno : Šimon Ryšavý, 2002. 207 s. ISBN 80-86137-67-8.
164. ŠEBELA, Karel. Filozofie logiky Pavla Tichého. Olomouc : Univerzita Palackého v Olomouci, 2006. 104 s. ISBN 80-244-1521-6. 165.
ŠKRÁŠEK, J.; TICHÝ, Z. Základy aplikované matematiky. Díl 1., Matematická logika, množiny, základy algebry, analytická geometrie, diferenciální počet, numerické a grafické metody. 2., nezm. vyd. Praha : SNTL, 1989. 876 s. ISBN 80-03-00150-1. → Studijní, Sklad, sign. A 127677/1
166.
ŠMEJKAL, Ladislav. PLC a automatizace. 2. díl, Sekvenční logické systémy a základy fuzzy logiky. Praha : BEN - technická literatura, 2005. 207 s. ISBN 807300-087-3. → Všeobecná, Naučná, MDT 618.5, sign. A 154816/2
167. ŠTĚPÁN, Jan. Formální deontika. Olomouc : Univerzita Palackého, 1995. 114 s. ISBN 807067436-9. → Studijní, Skripta, MDT 16, sign. B 41222 168. ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc : Fin, 1995. 109 s. ISBN 80-71820040. → Všeobecná, Naučná, MDT 164, sign. A 143436 169.
ŠTĚPÁN, Jan. Klasická logika. Olomouc : Univerzita Palackého, 1992. 153 s. ISBN 80-7067111-4. → Studijní, Sklad, sign. B 39602
170.
ŠTĚPÁN, Jan. Klasická logika. Olomouc : Univerzita Palackého, 2001. 198 s. ISBN 80-2440254-8.
171.
ŠTĚPÁN, Jan. Logika a právo. V Praze : C.H. Beck, 2001. 122 s. ISBN 80-7179→ Všeobecná, Naučná, MDT 340, sign. A 164891
484-8.
172. ŠTĚPÁN, Jan. Logika a právo. 2., dopl. vyd. Praha : C.H. Beck, 2004. 128 s. ISBN 80-7179872X. 173. ŠTĚPÁN, Jan. Logika a logické systémy. Olomouc : Votobia, 1992. 165 s. ISBN 85619-29-6.
80-
174. ŠTĚPÁN, Jan. Logika možných světů I. Olomouc : Vydavatelství Univerzity Palackého, 1995. 59 s. ISBN 80-7067-437-7. → Studijní, Skripta, MDT 164, sign. B 41593/1 175. ŠTĚPÁN, Jan. Logika možných světů II. Olomouc : Vydavatelství Univerzity Palackého, 1995. 55 s. ISBN 80-7067-529-2. → Studijní, Skripta, MDT 164, sign. B 41593/2 176.
ŠTĚPÁN, Jan. Logika možných světů III. Olomouc : Vydavatelství Univerzity Palackého,
13
1997.
51 s. ISBN 80-7067-717-1. → Studijní, Skripta, MDT 164, sign. B 41593/3
177.
ŠTĚPÁN, Jan. Logistické systémy : určeno pro posl. oboru filozofie FF UP. 134 s. Olomouc : Univerzita Palackého, 1992. ISBN 80-7067-210-2. → Studijní, Sklad, sign. B 39999
178.
ŠVANDOVÁ, Blažena. Cesty paradoxu : s úvodní esejí Willarda Van Ormana Quina. Brno : Masarykova univerzita, Pedagogická fakulta, 2002. 262 s. ISBN 80-210-2862-9.
179.
ŠVANDOVÁ, Blažena. Úvod do logiky a argumentace : pro obor sociální pedagogika. Brno : Institut mezioborových studií, 2003. 68 s.
180.
ŠVEJDAR, Vítězslav. Logika : neúplnost, složitost a nutnost. Praha : Academia, 2002. 464 s. ISBN 80-200-1005-X. → Všeobecná, Naučná, MDT 510.6, sign. A 167763
181. TICHÝ, Pavel. O čem mluvíme? : vybrané stati k logice a sémantice. Praha : Filosofia, 1996. 161 s. ISBN 80-7007-087-0. → Všeobecná, Naučná, MDT 16, sign. A 148654 182. TRLIFAJOVÁ, Kateřina (ed.). Osamělý myslitel Bernard Bolzano. Praha : Filosofia, 2006. 226 s. ISBN 80-7007-226-1. → Všeobecná, Naučná, MDT 929BO»1, sign. A 192020 183. TRYHUK, Václav. Matematika I. 1, Úvod do matematické logiky a teorie množin. Brno : CERM, 1994. 44 s. ISBN 80-85867-38-9. 184.
TUGENDHAT, E.; WOLF, U. Logicko-sémantická propedeutika. Praha : Rezek, 1997. 237 s. ISBN 80-86027-02-3. → Všeobecná, Naučná, MDT 16, sign. A 151387
185. TUREČKOVÁ, Lenka. Základy logiky. Praha : Policejní akademie České republiky, 1994. 81 s. 186. VLČEK, Miroslav. Úvod do klasické (aristotelovské) logiky. Praha : Vysoká škola ekonomická, 1996. 114 s. ISBN 80-7079-799-1. 187.
VOJTEK, František. Úvod do filosofie. Olomouc : Matice cyrilometodějská, 1992. 28 s.
188. VOSTREJŽOVÁ, Marie. Matematika I. : (studijní příručka pro distanční studium). Brno : PC-DIR, 1994. ISBN 80-214-0569-4. 189. VRECION, Vladimír. Základy logiky. Zlín : Univerzita Tomáše Bati ve Zlíně, 2008. 49 s. ISBN 978-80-7318-659-3. 190.
WEINBERGER, Ota. Alternativní teorie jednání : zároveň kritický rozbor praktické filozofie Georga Henrika von Wrighta. Praha : Filosofia, 1997. 278 s. ISBN 80-7007-096-X. → Studijní, Sklad, sign. A 151538
191. WEINBERGER, Ota. Devátá výroční přednáška k poctě J.L. Fischera. V Olomouci : Univerzita Palackého, 2003. 54 s. ISBN 80-244-0704-3. 192. WEINBERGER, Ota. Základy právní logiky. Brno : Masarykova univerzita, 1993. 263 s. ISBN 80-210-0827-X.
14
→ Všeobecná, Naučná, MDT 34, sign. A 139791 193. WITTGENSTEIN, Ludwig. Filosofická zkoumání. Praha : Filosofický ústav AV ČR, 1993. 294 s. ISBN 80-7007-040-4. → Všeobecná, Naučná, MDT 165, sign. A 138216 194.
WITTGENSTEIN, Ludwig. Filosofická zkoumání. 2., upr. vyd. Praha : Filosofia, 1998. 294 s. ISBN 80-7007-103-6.
195. WITTGENSTEIN, Ludwig. Tractatus logico-philosophicus. Praha : Institut pro středoevropskou kulturu a politiku, 1993. 229 s. ISBN 80-85241-30-7. → Všeobecná, Naučná, MDT 161/162, sign. A 138658 196.
WITTGENSTEIN, Ludwig. Tractatus logico-philosophicus. Praha : Oikoymenh, 2007. 87 s. ISBN 978-80-7298-284-4. → Studijní, Studovna, MDT 101, sign. A 187076 – pouze prez.
197. :
ZASTÁVKA, Zdeněk. Vše, co není zakázáno, se nesmí : o logice formální i neformální. Praha Radix, 1998. 190 s. ISBN 80-86031-15-2. → Všeobecná, Naučná, MDT 164, sign. A 151491
198.
ZLATUŠKA, Jiří. Lambda-kalkul. Brno : Masarykova univerzita, 1993. 264 s. ISBN 80-2100826-1.
15