Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783540374428
- 510 23
- QA1-939
Contents:
In:
Springer eBooks
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
No physical items for this record
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
There are no comments on this title.