Výsledky vyhľadávania
Názov O pojmu logického vyplývání Aut.údaje John Etchemendy Autor Etchemendy John
Vyd.údaje Ostrava : Ostravská univerzita v Ostravě , 2014. - 231 s., 21 cm Vydanie [1. vyd.] ISBN 978-80-7464-497-9 Poznámka Bibliografia s. 223-227. Bibliografické odkazy. Register Kľúč.slová logika - logic logické vyplývanie logical entailment Jazyk dok. čeština Krajina Česká republika Systematika 16 510.63 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 0, prezenčne 1 Signatúra Lokácia Dislokácia Umiestnenie Info 345850 Univerzita Mateja Bela FF Katedra filozofie len prezenčne Názov K implikaci v Aristotelově logice Aut.údaje Milan Mráz Autor Mráz Milan
Vyd.údaje Praha : Academia , 1988. - 18 s. Vydanie 1.vyd. Heslá pers. Aristoteles starogrécky filozof 384-322 pr. n. l. Kľúč.slová logika - logic implikácie dejiny logiky Jazyk dok. čeština Krajina Československo Systematika 510.63 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 1, z toho voľných 1 Signatúra Lokácia Dislokácia Umiestnenie Info 188520 Univerzita Mateja Bela UK Referát absenčných výpožičiek Názov Metoda GUHA Podnázov automatická tvorba hypotéz Aut.údaje P. Hájek, T. Havránek, Metoděj K. Chytil Autor Hájek Petr
Spoluautori Havránek Tomáš
Chytil Metoděj K.
Vyd.údaje Praha : Academia , 1983. - 316 s. Vydanie 1.vyd. Kľúč.slová matematika - mathematics počítače - computers metóda GUHA Jazyk dok. čeština Krajina -CS Systematika 519.681 510.63 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xkni - KNIHY Počet ex. 2, z toho voľných 1, prezenčne 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