Tableau systems for first order number theory and certain higher order theories
Author(s)
Bibliographic Information
Tableau systems for first order number theory and certain higher order theories
（Lecture notes in mathematics, 447）
Springer-Verlag, 1975
- : Germany
- : U.S.
Available at 79 libraries
Note
Bibliography: p. [335]-339
Description and Table of Contents
Table of Contents
First order number theory.- Second order logic.- Other higher order systems due to Schutte.
by "Nielsen BookData"