Čto takoje matematičeskaja logika ? - Kalužnin, L.A (Nauka, 1964)