Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes.
Material type: TextSeries: Lecture Notes in Mathematics ; 120Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1970Description: XIV, 134 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540362524Subject(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 511.3 LOC classification: QA8.9-10.3Online resources: Click here to access online In: Springer eBooksCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK259 |
There are no comments on this title.