Výsledky vyhľadávania
Title Metamatematika elementarnoj matematiki Author info E. Engeler; perevod G. Je. Minc Author Engeler Erwin
Another authors Minc G. Je. (Translator)
Issue data Moskva : Mir , 1987. - 126 s. Issue 1-oe izd. Keywords matematika - mathematics elementárna matematika Form. Descr. úvahy - essays Language Russian Country Russian Federation systematics 51 (0:82-4) 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 178660 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Lambda-isčislenije. Jego sintaksis i sistematika Author info Chendrik Piter Barendregt; Prel. G.E. Minca Author Barendregt Chendrik Piter
Another authors Minc G. Je. (Translator)
Issue data Moskva : Mir , 1985. - 606 s. Issue [1. izd.] Keywords matematická logika - mathematical logic matematika - mathematics Language Russian Country Russian Federation systematics 510.27+510.6=82 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 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 Call number Location Sublocation Umiestnenie Info 107508 Univerzita Mateja Bela Department of mathematics In-Library Use Only