TY  - DATA
AU  - S.A. Toledo
TI  - Tableau Systems for First Order Number Theory and Certain Higher Order Theories
T2  - Lecture Notes in Mathematics
SN  - 9783540374428
PY  - 1975///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/BFb0062936
ER  -