Tableau systems for first order number theory and certain higher order theories - Toledo Sue (Berlin Springer Verlag, 1975)
Keywords: Number theory; Tableau systems