Výsledky vyhľadávania
Názov Spravočnaja kniga po matematičeskoj logike Časť.dok. Časť 4.. Teorija dokazateľstv i konstruktivnaja matematika Aut.údaje perevod G. V. Davydov Ďalší autori Davydov G. V. (Autor)
Vyd.údaje Moskva : Nauka , 1983. - 388 s. Vydanie 1-oe izd. Kľúč.slová matematika - mathematics teória dokazovania Jazyk dok. ruština Krajina Ruská federácia Systematika 51 168.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 175760 Univerzita Mateja Bela FP Katedra matematiky len prezenčne