Number of the records: 1  

The Lambda calculus

  1.   Borrow
    Title statementThe Lambda calculus : its syntax and semantics / H.P. Barendregt
    Personal name Barendregt, Henk (Hendrik Pieter), 1947- (author)
    Edition statementRevised ed.
    Issue dataAmsterdam : Elsevier, 1984
    Phys.des.xv, 621 s., [19] s. příl. : il.
    ISBN0444875085
    Internal Bibliographies/Indexes NoteBibliogr.
    Subj. Headings matematická logika mathematical logic * matematika mathematics * výpočty
    Conspect51 - Matematika
    UDC 51-3 , 164:51 , 510.6
    CountryNizozemsko
    Languageangličtina
    Document kindBooks
    View book information on page www.obalkyknih.cz

    book

      Borrow
    Call numberBarcodeLocationSublocationInfo
    M1/1214 (PřF)3134017632PřFPřF, KnihovnaDate due 30 days

Number of the records: 1  

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

Accept allSettingsReject all