Formirovanije matematičeskoj logiki. - Sťažkin, Nikolaj Ivanovič (Moskva : Nauka, 1967)
Záznam revízie