Tableau systems for first order number theory and certain higher order theories
著者
書誌事項
Tableau systems for first order number theory and certain higher order theories
（Lecture notes in mathematics, 447）
Springer-Verlag, 1975
- : Germany
- : U.S.
大学図書館所蔵 全79件
注記
Bibliography: p. [335]-339
内容説明・目次
目次
First order number theory.- Second order logic.- Other higher order systems due to Schutte.
「Nielsen BookData」 より