• RecordNumber
    28793
  • LC Class
    QA
  • LC Number
    3
  • LC CutterNumber
    .L28,no.6
  • LC Date
    1970
  • Dewey Class
    164
  • Author

    Hermes, Hans

  • Title

    Term logic with choice operator

  • Edition
    [1st English ed.]
  • Publication
    Springer-Verlag
  • Publication Year
    1970
  • Collation
    55 p., 26 cm
  • Series
    Lecture notes in mathematics, 6
  • Notes
    Rev. and enl. translation of Eine Termlogik mit Auswahloperator
  • Subject

    Logic, Symbolic and mathematical

  • DocumentNumber
    6370
  • Biblography
    Bibliography: p. 53.
  • BL
    BL
    • Link To Document
    https://library.iut.ac.ir/dl/search/default.aspx?Term=28793&Field=0&DTC=100