![](/img/cover-not-exists.png)
Solution of a Problem of Tarskiby John Myhill;Two Theories with Axioms Built by means of Pleonasmsby Andrzej Ehrenfeucht;Decidability and Essential Undecidabilityby Hilary Putnam
Review by: Solomon FefermanVolume:
23
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2964038
Date:
December, 1958
File:
PDF, 216 KB
1958