Tableau systems for first order number theory and certain higher order theories : Sue Toledo. - Toledo, Sue Ann 1940- (Springer, 1964)
En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 447.