Introduction to logic and to the methodology of deductive sciences - Helmer Olaf; Tarski Alfred (New York Oxford Univ. Press, 1963)
Keywords: Mathematical Logic; Symbolic