Decidable Theories I
| Main Author: | Siefkes, Dirk |
|---|---|
| Call Number: | Ser QA3.L28.120 |
| Published: |
Lecture Notes in Mathematics, vol. 120, Springer-Verlag, Berlin, 1970
|
| Location: | Addelman-Semple Resource Center |
| Format: | Book |
Not Available