Toledo, Sue Tableau systems for first order number theory and certain higher order theories Sue Toledo - - Springer-Verlag, Berlin 1975 - - Lecture Notes in Mathematics, No.0447 . Subjects--Topical Terms: Lecture Notes in Mathematics Dewey Class. No.: R LNM.0447