Što je matematička logika - Kalužnin, L. A. (Moderna matematika, 1975)