Introduction to logic - Tarski, Alfred (Oxford University Press, 1941)