Search results
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