Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

書誌事項

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie

G. Kreisel, J.-L. Krivine ; aus dem Französischen übersetzt von J. Jung

(Hochschultext)

Springer-Verlag, 1972

  • :gw
  • :us

タイトル別名

Eléments de logique methématique

大学図書館所蔵 件 / 17

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA13619829
  • ISBN
    • 3540056548
    • 0387056548
  • 出版国コード
    gw
  • タイトル言語コード
    ger
  • 本文言語コード
    ger
  • 原本言語コード
    fre
  • 出版地
    Berlin ; Heidelberg ; New York
  • ページ数/冊数
    xv, 274p.
  • 大きさ
    26cm
  • 親書誌ID
ページトップへ