Toledo, Sue.
Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. - IV, 348 p. online resource. - Lecture Notes in Mathematics, 447 0075-8434 ; . - Lecture Notes in Mathematics, 447 .
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
9783540374428
10.1007/BFb0062936 doi
Mathematics.
Mathematics.
Mathematics, general.
QA1-939
510
Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1975. - IV, 348 p. online resource. - Lecture Notes in Mathematics, 447 0075-8434 ; . - Lecture Notes in Mathematics, 447 .
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
9783540374428
10.1007/BFb0062936 doi
Mathematics.
Mathematics.
Mathematics, general.
QA1-939
510