• RecordNumber
    14098
  • Author

    Gabbag, Dov M., 1945-

  • Title

    Semantical investigation in Heytings intuitionistic logic

  • Author Statement
    Dov M. Gabbay
  • Publication
    Reidel
  • Publication Year
    [c1981]
  • Collation
    x, 287p
  • Series
    Synthese library v.148
  • Bibliography
    Bibliography: p. 230-284
  • Subject

    Intuitionistic mathematics , Heyting, Arend, 1898-

  • ADDED ENTRIES
    ^dSeries: Synthese library v.148
  • Main Class
    511
  • Sub Class
    .2
  • Cutter no
    G112s
  • وارد كنندة اطلاعات
    fazel^d//
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=14098&Field=0&DTC=2