Introduction to meta mathematics - Kleene, Stephen cole . (North-Holland publishing co., 1952)