Elementy matematičeskoj logiki - Novikov, Petr Sergejevič (Matematičeskaja logika i osnovanija matematiki, 1959)