Výsledky vyhľadávania
Názov Metamatematika elementarnoj matematiki Aut.údaje E. Engeler; perevod G. Je. Minc Autor Engeler Erwin
Ďalší autori Minc G. Je. (Prekladateľ)
Vyd.údaje Moskva : Mir , 1987. - 126 s. Vydanie 1-oe izd. Kľúč.slová matematika - mathematics elementárna matematika Form.deskr. úvahy - essays Jazyk dok. ruština Krajina Ruská federácia Systematika 51 (0:82-4) 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 178660 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Lambda-isčislenije. Jego sintaksis i sistematika Aut.údaje Chendrik Piter Barendregt; Prel. G.E. Minca Autor Barendregt Chendrik Piter
Ďalší autori Minc G. Je. (Prekladateľ)
Vyd.údaje Moskva : Mir , 1985. - 606 s. Vydanie [1. izd.] Kľúč.slová matematická logika - mathematical logic matematika - mathematics Jazyk dok. ruština Krajina Ruská federácia Systematika 510.27+510.6=82 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 165616 Univerzita Mateja Bela FP Katedra matematiky len prezenčne Názov Modaľnaja logika Aut.údaje R. Fejs; perevod s dopolnenijami G. Je. Minc Autor Fejs R.
Ďalší autori Minc G. Je. (Prekladateľ)
Vyd.údaje Moskva : Izdateľstvo Nauka , 1974. - 520 s. Vydanie 1-oe izd. Kľúč.slová logika - logic Form.deskr. príručky - handbooks Jazyk dok. ruština Krajina Ruská federácia Systematika 16(035) 51 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 107508 Univerzita Mateja Bela FP Katedra matematiky len prezenčne