• RecordNumber
    1931
  • Author

    Lambek, J

  • Title

    Introduction to higher order categorical logic

  • Author Statement
    J. Lambek [and] P. J. Scott
  • Publication
    Cambridge University Press
  • Publication Year
    1989, C. 1986
  • Collation
    X, 293P., illus
  • Series
    Cambridge studies in advanced mathematics; 7
  • Notes
    Bibliography: P. [279]-288 , 0521356539
  • Subject

    Logic, Symbolic and mathematical , Categories (Mathematics)

  • ADDED ENTRIES
    Scott, P. J. jt.auth , ,
  • LC Class
    QA
  • LC Number
    169
  • LC CutterNumber
    .L3
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=1931&Field=0&DTC=2