Logic, methodology and philosophy of science : proceedings of the 1960 intenational congress - Nagel, Ernest, 1901-1985; Suppes, Patrick, 1922-2014; Tarski, Alfred, 1902-1983 (Stanford University Press, 1962)