Matematičeskaja teorija logičeskogo vyvoda : matematičeskaja logika i osnovanija matematiki - Dončenko, V. V. (Moskva : Nauka, 1967)
Záznam revízie