Počet záznamov: 1  

Lambda-isčislenije. Jego sintaksis i sistematika

  1. NázovLambda-isčislenije. Jego sintaksis i sistematika
    Aut.údajeChendrik Piter Barendregt; Prel. G.E. Minca
    Autor Barendregt Chendrik Piter
    Ďalší autori Minc G. Je. (Prekladateľ)
    Vyd.údajeMoskva : Mir , 1985. - 606 s.
    Vydanie[1. izd.]
    Kľúč.slová matematická logika - mathematical logic   matematika - mathematics  
    Jazyk dok.ruština
    KrajinaRuská federácia
    Systematika 510.27+510.6=82
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxkni - KNIHY
    Počet ex.1, z toho voľných 0, prezenčne 1
    SignatúraLokáciaDislokáciaUmiestnenieInfo
    165616Univerzita Mateja BelaFP Katedra matematikylen prezenčne

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.