Matematičeskaja logika i jeje primenenija : sbornik statej - Nagel, Ernest, 1901-1985; Ma´cev, Anatolij Ivanovič (Moskva : Mir, 1965)
Záznam revízie