Introduction to logic and to the methodology of deductive sciences /
Tarski, Alfred.
New York, 
1965.