Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems / Roman Murawski ; [transl. from the Polish]De stelling van Gödel / red. Jean Paul Van BendegemDe stelling van Gödel / E. Nagel, J.R. Newman ; [vert. uit het Engels door J.M. Debrot]De stelling van Gödel / E. Nagel, J.R. Newman ; [vert. uit het Engels door J.M. Debrot]