Tableau systems for first order number theory and certain higher order theories - Toledo, Sue Ann, 1940- (Berlin : Springer-Verlag, 1975)
Bibliography: p. 335-339.
Keywords: Proof theory; Number theory; Predicate calculus