Formirovanije matematičeskoj logiki. - Sťažkin, Nikolaj Ivanovič (Nauka, 1967)