Metamatematika elementarnoj matematiki. - Engeler, E. (1987)