Výsledky vyhľadávania
Názov Logika neúplnost, složitost a nutnost Aut.údaje Vítězslav Švejdar Autor Švejdar Vítězslav
Vyd.údaje Praha : Academia , 2002. - 464 s. Vydanie 1. vyd. ISBN 802001005X Kľúč.slová neklasické logiky logika - logic výroková logika - propositional calculus algoritmy - algorithms Peanova a Robinsonova aritmetika Jazyk dok. čeština Krajina Česká republika Systematika 511.3 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 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 242787 Univerzita Mateja Bela FP Katedra matematiky len prezenčne