Tableau systems for first order number theory and certain higher order theories - Toledo S (Berlin Springer-Verlag, 1975)