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

Web Site CiNii 所蔵館 79館

書誌事項

タイトル
"Tableau systems for first order number theory and certain higher order theories"
責任表示
Sue Toledo
出版者
  • Springer-Verlag
出版年月
  • 1975
書籍サイズ
25 cm
シリーズ名/番号
  • : Germany
  • : U.S.

この図書・雑誌をさがす

注記

Bibliography: p. [335]-339

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ