Godels Incompleteness theorem - Uspensky,V.A (Mir publishers, 1987)