Author | Toledo, Sue. author |
---|---|
Title | Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1975 |
Connect to | http://dx.doi.org/10.1007/BFb0062936 |
Descript | IV, 348 p. online resource |
First order number theory -- Second order logic -- Other higher order systems due to Schรผtte