Tableau Systems for First Order Number Theory and Certain Higher Order Theories [electronic resource] / by Sue Toledo.
Material type: TextSeries: Lecture Notes in Mathematics ; 447Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975Description: IV, 348 p. online resourceContent type:- 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.