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 : Imprint: Springer, 1970Description: XIV, 134 p. online resourceContent type:- text
- computer
- online resource
- 9783540362524
- 511.3 23
- QA8.9-10.3
No physical items for this record
There are no comments on this title.