TY  - BOOK
AU  - Toledo,Sue
ED  - SpringerLink (Online service)
TI  - Tableau Systems for First Order Number Theory and Certain Higher Order Theories
T2  - Lecture Notes in Mathematics,
SN  - 9783540374428
AV  - QA1-939 
U1  - 510 23
PY  - 1975///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - First order number theory -- Second order logic -- Other higher order systems due to Schütte
UR  - http://dx.doi.org/10.1007/BFb0062936
ER  -