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.

この図書・雑誌をさがす
注記

Bibliography: p. [335]-339

内容説明・目次

目次

First order number theory.- Second order logic.- Other higher order systems due to Schutte.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ