Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have