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