Introduction to meta mathematics - Kleene Stephen Cole (Groningen Wolters-Noorclhoff Publication, 1971)