Elementy matematičeskoj logiki - Markov, Dmitrij Fedorovič, 1913-1990 (Izdatel'stvo Moskovskogo universiteta, 1984)