Što je matematička logika - Kalužnin, Lev Arkad'evič (Školska knjiga, 1973)
Prijevod djela: Čto takoe matematičeskaja logika