1. Summer Institute for Symbolic Logic, Cornell University 1957. Summaries of Talks. (Duplicated typescript)
2. Doner J. E., Mostowski A., and Tarski A. The elementary theory of wellordering – a metamathematical study. In A. Macintyre, L. Pacholski and J. Paris, editors, Logic Colloquium ’77, pages 1–54. North-Holland, Amsterdam 1978.
3. Feferman A. B., and Feferman S. Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge 2004.
4. Fischer M. J., and Rabin M. O. Super-exponential complexity of Presburger Arithmetic. In R. M. Karp, editor, Complexity of Computation, pages 27–41. American Mathematical Society, Providence, RI, 1974.
5. Gödel K. Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik, 37: 349–360, 1930; reprint and translation ‘The completeness of the axioms of the functional calculus of logic’, in [6] pages 102–123.