Annual Member
| 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
