Term logic with choice operator

Author(s)

• Hermes, Hans

Bibliographic Information

Term logic with choice operator

Hans Hermes

（Lecture notes in mathematics, 6）

Springer-Verlag, 1970

Other Title

Termlogik mit Auswahloperator

Note

Rev. and enl. translation of: Eine Termlogik mit Auswahloperator

Bibliography: p. 53

• NCID: BA06662001
• LCCN: 79125498
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Original Language Code: ger
• Place of Publication: Berlin ; New York
• Pages/Volumes: 55 p
• Size: 26 cm
• Classification:
  • LCC : QA3
  • DC : 164
• Subject Headings:
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA00146586