Что такое математическая логика? - Калужнин Л. А. Лев Аркадьевич (Москва, Наука, 1964)