Въведение в математическата логика - Александър Попов 

Наука и изкуство, 1961 г.