Search results
Title O pojmu logického vyplývání Author info John Etchemendy Author Etchemendy John
Issue data Ostrava : Ostravská univerzita v Ostravě , 2014. - 231 s., 21 cm Issue [1. vyd.] ISBN 978-80-7464-497-9 Note Bibliografia s. 223-227. Bibliografické odkazy. Register Keywords logika - logic logické vyplývanie logical entailment Language Czech Country Czech Republic systematics 16 510.63 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 345850 Univerzita Mateja Bela Department of philosophy In-Library Use Only Title K implikaci v Aristotelově logice Author info Milan Mráz Author Mráz Milan
Issue data Praha : Academia , 1988. - 18 s. Issue 1.vyd. Person keywords Aristoteles starogrécky filozof 384-322 pr. n. l. Keywords logika - logic implikácie dejiny logiky Language Czech Country Czechoslovakia systematics 510.63 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 1 Call number Location Sublocation Umiestnenie Info 188520 Univerzita Mateja Bela Department of absent lending Title Metoda GUHA Subtitle automatická tvorba hypotéz Author info P. Hájek, T. Havránek, Metoděj K. Chytil Author Hájek Petr
Co-authors Havránek Tomáš
Chytil Metoděj K.
Issue data Praha : Academia , 1983. - 316 s. Issue 1.vyd. Keywords matematika - mathematics počítače - computers metóda GUHA Language Czech Country -CS systematics 519.681 510.63 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 2, currently available 1, at library only 1 Call number Location Sublocation Umiestnenie Info 153473 Univerzita Mateja Bela Department of computer science In-Library Use Only 153474 Univerzita Mateja Bela Department of absent lending Title Logika prvého rádu Author info Raymond M. Smullyan; preklad Svätoslav Mathé Author Smullyan Raymond Merril
Another authors Mathé Svätoslav (Translator)
Issue data Bratislava : Alfa , 1979. - 212 s., 21 cm Issue 1. vyd. Keywords matematická logika - mathematical logic vysokoškolské učebnice - učebnice vysokých škôl Form. Descr. učebnice vysokých škôl - textbooks (higher) Language Slovak Country Czechoslovakia systematics 510.63 (075.8) Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 5, currently available 3, at library only 2 Call number Location Sublocation Umiestnenie Info 127963 Univerzita Mateja Bela Department of absent lending 128614 Univerzita Mateja Bela Department of mathematics 145145 Univerzita Mateja Bela Department of mathematics In-Library Use Only 145143 Univerzita Mateja Bela Department of mathematics In-Library Use Only 145144 Univerzita Mateja Bela Department of absent lending