Vvedenije v metamatematiku - Kleene, Stephen Cole (Izdateľstvo inostrannoj literatury, 1957)