Tableau systems for first order number theory and certain higher order theories - Toledo, Sue (Lecture Notes in Mathematics, 447, 1975)