Introduction to ligic and to the methodology of deductive sciences - Tarski Alfred (1941)
Keywords: PHILOSOPHY