Annual Member
| Author | Mรผller, Gert H. author |
|---|---|
| Title | Decidable Theories I [electronic resource] / by Gert H. Mรผller, Dirk Siefkes |
| Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1970 |
| Connect to | http://dx.doi.org/10.1007/BFb0061047 |
| Descript | XIV, 134 p. online resource |
