Toledo, Sue Ann,
Tableau systems for first order number theory and certain higher order theories / Sue Toledo. - Berlin ; New York : Springer-Verlag, 1975. - 339 p. ; - Lecture notes in mathematics 447 . - Lecture notes in mathematics (Springer-Verlag) ; 447. .
Bibliography: p. [335]-339.
0387071490
Proof theory.
Number theory.
Predicate calculus.
51 / LNM
Tableau systems for first order number theory and certain higher order theories / Sue Toledo. - Berlin ; New York : Springer-Verlag, 1975. - 339 p. ; - Lecture notes in mathematics 447 . - Lecture notes in mathematics (Springer-Verlag) ; 447. .
Bibliography: p. [335]-339.
0387071490
Proof theory.
Number theory.
Predicate calculus.
51 / LNM