Tableau systems for first order number theory and certain higher order theories

書誌事項

Tableau systems for first order number theory and certain higher order theories

Sue Toledo

(Lecture notes in mathematics, 447)

Springer-Verlag, 1975

  • : Germany
  • : U.S.

大学図書館所蔵 78件 / 78

すべての地域すべての図書館

この図書・雑誌をさがす

注記

Bibliography: p. [335]-339

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

詳細情報

ページトップへ