Metamatematika elementarnoj matematiki. - Engeler, E. (Moskva, 1987)
Záznam revízie