• RecordNumber
    46003
  • LC Class
    QA
  • LC Number
    169
  • LC CutterNumber
    .L28
  • Author

    Lambek, Joachim

  • Title

    Introduction to higher order categorical logic

  • Author Statement
    J. Lambek, P.J. Scott
  • Publication
    Cambridge University Press
  • Publication Year
    c1986
  • Collation
    ix, 293 p. ; 24 cm
  • Series
    Cambridge studies in advanced mathematics
  • Notes
    Includes indexes
  • Subject

    Categories (Mathematics)

  • ADDED ENTRIES
    Scott, P. J , ,
  • DocumentNumber
    55032
  • Index
    Bibliography: p. [279]-288
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=46003&Field=0&DTC=100