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

by A Tarski