• RecordNumber
    21435
  • Author

    Hermes, Hans

  • Title

    Term logic with choice operator

  • Author Statement
    Hans Hermes
  • Publication
    Springer
  • Publication Year
    1970
  • Collation
    55 p
  • Series
    Lecture notes in mathematics; v.6
  • Notes
    Rev and enl. translation of the first German ed
  • Bibliography
    Bibliography: p. 53
  • Subject

    Logic, Symbolic and mathematical

  • ADDED ENTRIES
    ^dSeries: Lecture notes in mathematics; v.6
  • Main Class
    511
  • Sub Class
    .3
  • Cutter no
    H553t
  • وارد كنندة اطلاعات
    soltani^d// , khodaei^d2003/08/25 08:58:52
    • Link To Document
    https://lib.ui.ac.ir/dl/search/default.aspx?Term=21435&Field=0&DTC=2