Tableau systems for first order number theory and certain higher order theories
By: Sue Toledo.
Series: Lecture notes in mathematics ; 447; Lecture notes in mathematics (Springer-Verlag) ;; 447.
Publisher: Springer-Verlag
Published: 1975
Place of publication: Berlin; New York
Language: eng
Number of pages: 339
Subjects: Proof theory.; Number theory.; Predicate calculus.
Notes: Bibliography: p. [335]-339.