"Logic, methodology and philosophy of science VII: Proceedings Salzburg, 1983" - читать интересную книгу автора (Ruth Barcan-Marcus, George J. W. Dorn, Paul Weingartner)