Introduction à la logique mathématique - Novikov, Pjotr S. (Dunod, 1964)
Aus dem Russ. übers.