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 Signatúra Lokácia Dislokácia Umiestnenie Info 153473 Univerzita Mateja Bela FP Katedra informatiky len prezenčne 153474 Univerzita Mateja Bela UK Referát absenčných výpožičiek Názov Logika prvého rádu Aut.údaje Raymond M. Smullyan; preklad Svätoslav Mathé Autor Smullyan Raymond Merril
Ďalší autori Mathé Svätoslav (Prekladateľ)
Vyd.údaje Bratislava : Alfa , 1979. - 212 s., 21 cm Vydanie 1. vyd. Kľúč.slová matematická logika - mathematical logic vysokoškolské učebnice - učebnice vysokých škôl Form.deskr. učebnice vysokých škôl - textbooks (higher) Jazyk dok. slovenčina Krajina Československo Systematika 510.63 (075.8) Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 5, z toho voľných 3, prezenčne 2 Signatúra Lokácia Dislokácia Umiestnenie Info 127963 Univerzita Mateja Bela UK Referát absenčných výpožičiek 128614 Univerzita Mateja Bela FP Katedra matematiky 145145 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 145143 Univerzita Mateja Bela FP Katedra matematiky len prezenčne 145144 Univerzita Mateja Bela UK Referát absenčných výpožičiek