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