Recursive Functions and Metamathematics by Roman Murawski