EN
Ernest Nagel
Ernest Nagel was an American philosopher of science. Along with Rudolf Carnap, Hans Reichenbach, and Carl Hempel, he is sometimes seen as one of the major figures of the logical positivist movement. His 1961 book The Structure of Science is considered a foundational work in the logic of scientific explanation.
Excerpt from Wikipedia, available under CC BY-SA 4.0.
Books

Gödel's proof
2001
ISBN 9780814759035