Introduction á la logique mathématique - Novikov, P. S (1964)