TY  - BOOK
AU  - Toledo, Sue
AU  - 
TI  - Tableau systems for first order number theory and certain higher order theories
T2  - Lecture Notes in Mathematics, No.0447
U1  - R  LNM.0447 
PY  - 1975///
CY  - Springer-Verlag, Berlin
KW  - Lecture Notes in Mathematics
ER  -