Introduction to logic and to the methodology of deductive sciences / Alfred Tarski