Introduction to logic and to the methodology of the deductive sciences - Tarski, Alfred; Tarski, Jan. (New York Oxford University Press, 1994)
Includes bibliographical references and index.
Keywords: Mathematics -- Philosophy; Arithmetic -- Foundations