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」 より