• RecordNumber
    16223
  • LC Class
    QA
  • LC Number
    9.5
  • LC CutterNumber
    .B36
  • LC Date
    1984
  • Dewey Class
    511
  • Dewey Date
    .3
  • Author

    Barendregt, Hendrik Pieter

  • Title

    lambda calculus

  • Author Statement
    H.P. Barendregt
  • Edition
    Rev. ed
  • Publication
    North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
  • Publication Year
    1984
  • Collation
    xv, 621 p.: ill.; 23 cm
  • Series
    Studies in logic and the foundations of mathematics ; v. 103
  • Subject

    Lambda calculus

  • Holding Info.
    0444867481
  • Original By
    76/10
  • DocumentNumber
    23961
  • SubTitle
    : its syntax and semantics
  • Index
    Includes indexes
  • Biblography
    Bibliography: p. 585-598
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=16223&Field=0&DTC=100