Elementy matematičeskoj logiki - Markov, Andrej Andrejevič (Universität, 1984)