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