Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. - Kanovej, Vladimir Grigor'jevič, 1951- (Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1982)