Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. - Gončarov, S. S. (Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1982)