Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred (New York : Dover Publications, 1995)
Originally published: 2nd ed., rev. New York : Oxford University Press, 1946 (1961 printing).
Includes bibliographical references (p. 227-230) and index.
Keywords: Mathematics -- Philosophy; Arithmetic -- Foundations