Novikov, P. S Elementy Matematicheskoj Logiki P. S. Novikov - Moscova Gosudarstvennoe Izdatel(y)stvo Fiziko - Matematicheskoj Literatury 1959 - 400 p 20 cm - Matematicheskaya Logika i Osnovaniya Matematiki .