Počet záznamov: 1
Lambda-isčislenije. Jego sintaksis i sistematika
Názov Lambda-isčislenije. Jego sintaksis i sistematika Aut.údaje Chendrik Piter Barendregt; Prel. G.E. Minca Autor Barendregt Chendrik Piter
Ďalší autori Minc G. Je. (Prekladateľ)
Vyd.údaje Moskva : Mir , 1985. - 606 s. Vydanie [1. izd.] Kľúč.slová matematická logika - mathematical logic matematika - mathematics Jazyk dok. ruština Krajina Ruská federácia Systematika 510.27+510.6=82 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 
kniha
Signatúra Lokácia Dislokácia Umiestnenie Info 165616 Univerzita Mateja Bela FP Katedra matematiky len prezenčne
Počet záznamov: 1