Tableau systems for first order number theory and certain higher order theories : Sue Toledo. - Toledo, Sue Ann 1940- (Springer, 1964)