1 - On formally undecidable propositions of principia mathematica and related systems |
2 - Scientific explanation : a study of the function of theory, probability and law in science. Based upon the Tarner lectures, 1946 |
3 - Theory of games as a tool for the moral philosopher : An empiricist's view of the nature of religious belief |