Introduction to Logic and to the Methodology of Deductive Sciences (1941)

by Alfred Tarski