On a Theorem of Cobham Concerning Undecidable Theories Robert L. Vaught Ernest Nagel Patrick Suppes Alfred Tarski
Autor: | Dyson, Verena H. |
---|---|
Zdroj: | The Journal of Symbolic Logic, 1969 Mar 01. 34(1), 126-127. |
Databáze: | JSTOR Journals |
Externí odkaz: |