Eine Termlogik mit Auswahloperator

Author(s)

    • Hermes, Hans

Bibliographic Information

Eine Termlogik mit Auswahloperator

Hams Hermes

(Lecture notes in mathematics, 6)

Springer-Verlag, 1965

Available at  / 38 libraries

Search this Book/Journal

Related Books: 1-1 of 1

Details

  • NCID
    BA08208610
  • LCCN
    65017845
  • Country Code
    gw
  • Title Language Code
    ger
  • Text Language Code
    ger
  • Place of Publication
    Berlin ; Heidelberg ; New York
  • Pages/Volumes
    42 p.
  • Size
    30 cm
  • Parent Bibliography ID
Page Top