• RecordNumber
    43286
  • Author

    Thomas Streicher

  • Title

    Semantics of type theory.correctness completeness and independence results

  • Publication
    Birkhauser
  • Publication Year
    1991
  • Collation
    309
  • نام فايل
    IUST eb-106 -- eb106d22
    • Link To Document
    https://dl.iust.ac.ir/dl/search/default.aspx?Term=43286&Field=0&DTC=2