Number of the records: 1  

Lambda-kalkul

  1. Author Zlatuška, Jiří, 1957- (Author)
    TitleLambda-kalkul / Jiří Zlatuška
    Issue1.vyd.
    Issue stat.Brno : Masarykova univerzita, 1993
    Phys.des.264 s : Lit
    ISBN80-210-0826-1
    Subj. HeadingsLambda kalkul -logika kombinatorická - modely matematické - výklady
    UDC510.6:519.7
    CountryCzech Republic
    LanguageCzech
    Copy count1, currently available 1
    OwnerKladno SVK
    Doc. KindMonographies, maps
    View book information on page www.obalkyknih.cz
    Call numberLocationSublocationInfo
    J 154087Půjčovna literaturydepozitář
    Lambda-kalkul

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.