Report on attainability of systems of identities
Takayuki Tamura · Bulletin of the American Mathematical Society · 1965
1. G. Kreisel, Relative consistency and translatability (abstract), J. Symbolic Logic 23(1958), 108-109. 2. J. Myhill, Creative sets, Math. Logik Grundlagen Math. 1 (1955), 97-108. 3. R. Smullyan, Theory of formal systems, Annals of Mathematics Studies No. 47, Princeton Univ. Press, Princeton, N. J., 1961. 4. A. Tarski, A. Mostowski and R. Robinson, Undecidable theories, North-Holland, Amsterdam, 1953.