Search results
Title Algoritmy i rekursivnyje funkcii Author info A. I. Maľcev Author Maľcev A. I.
Issue data Moskva : Nauka , 1986. - 367 s. Issue 2-oe izd. Keywords matematika - mathematics algoritmy - algorithms Language Russian Country Russian Federation systematics 510.67 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 177222 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Spravočnaja kniga po matematičeskoj logike Document part Časť 2. Teorija množestv Author info perevod V. G. Kanovej Another authors Kanovej V. G. (Translator)
Issue data Moskva : Nauka , 1982. - 374 s. Issue 1-oe izd. Keywords matematika - mathematics teória množín - set theory Language Russian Country Russian Federation systematics 510.67 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 175762 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Spravočnaja kniga po matematičeskoj logike Document part Časť 1. Teorija modelej Author info perevod S. S. Gonačov Another authors Gončarov S. S. (Author)
Issue data Moskva : Nauka , 1982. - 391 s. Issue 1-oe izd. Keywords matematika - mathematics teória modelov Language Russian Country Russian Federation systematics 510.67 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 175763 Univerzita Mateja Bela Department of mathematics In-Library Use Only