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, 1975Description: IV, 348 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540374428Subject(s): Mathematics | Mathematics | Mathematics, generalAdditional physical formats: Printed edition:: No titleDDC classification: 510 LOC classification: QA1-939Online resources: Click here to access online
Contents:
In:
Springer eBooks
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK492 |
First order number theory -- Second order logic -- Other higher order systems due to Schütte.
There are no comments on this title.