Eine Termlogik mit Auswahloperator

著者
    • Hermes, Hans
書誌事項

Eine Termlogik mit Auswahloperator

Hams Hermes

(Lecture notes in mathematics, 6)

Springer-Verlag, 1965

この図書・雑誌をさがす
関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA08208610
  • LCCN
    65017845
  • 出版国コード
    gw
  • タイトル言語コード
    ger
  • 本文言語コード
    ger
  • 出版地
    Berlin ; Heidelberg ; New York
  • ページ数/冊数
    42 p.
  • 大きさ
    30 cm
  • 親書誌ID
ページトップへ