Metamatematika elementarnoj matematiky = Matemathematik der Elementarmathematik - Engeler, Ervin (Mir, 1987)