Čto takoje matematičeskaja logika? - Kalužnin, Lev Arkad`jevič (Nauka Moskva, 1964)