Eine Termlogik mit Auswahloperator

Author(s)

• Hermes, Hans

Bibliographic Information

Eine Termlogik mit Auswahloperator

Hams Hermes

（Lecture notes in mathematics, 6）

Springer-Verlag, 1965

• 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:
  • BA00146586