ELEMENTE DE LOGICA MATEMATICA de P. S. NOVIKOV , 1966