Što je matematička logika - Kalužnin, Lev Arkad'evič (Array, 1973)