Logic, methodology and philosophy of science proceedings - Nagel, Ernest 1901- (Studies in logic and the foundations of mathematics, 1960)