No CrossRef data available.
Article contents
John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.

- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1958