Search results
Title Spravočnaja kniga po matematičeskoj logike Document part Časť 4.. Teorija dokazateľstv i konstruktivnaja matematika Author info perevod G. V. Davydov Another authors Davydov G. V. (Author)
Issue data Moskva : Nauka , 1983. - 388 s. Issue 1-oe izd. Keywords matematika - mathematics teória dokazovania Language Russian Country Russian Federation systematics 51 168.3 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 
book
Call number Location Sublocation Umiestnenie Info 175760 Univerzita Mateja Bela Department of mathematics In-Library Use Only