Introduction to logic and to the methodology of deductive sciences - Tarski, Alfred (New York Oxford University Press, 1961)
A Partially Modified And Extended Edition Of My Book On Mathematical Logic And Deductive Method Which Appeared First In 1936 In Polish And Then In 1937 In An Exact German Translation
Keywords: Arithmetic -- Foundations; Mathematics -- Philosophy