Search results
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 Call number Location Sublocation Umiestnenie Info 165616 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Modaľnaja logika Author info R. Fejs; perevod s dopolnenijami G. Je. Minc Author Fejs R.
Another authors Minc G. Je. (Translator)
Issue data Moskva : Izdateľstvo Nauka , 1974. - 520 s. Issue 1-oe izd. Keywords logika - logic Form. Descr. príručky - handbooks Language Russian Country Russian Federation systematics 16(035) 51 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 107508 Univerzita Mateja Bela Department of mathematics In-Library Use Only