TY  - GEN
AU  - Toledo, Sue
TI  - Tableau Systems for First Order Number Theory and Certain Higher Theories
SN  - 3540071490
SN  - 038707149
U1  - 510.8 
PY  - 1975///
CY  - Berlin, Heidelberg, New York
PB  - Springer Verlag
N1  - Contine bibliogr
ER  -