Elementy matematičeskoj logiki - Novikov, P.S (FML, 1973)