Spravočnaja kniga po matematičeskoj logike. - Davidov, G. V.; Minc, Grigorij Jefimovič, 1939-2014; Barwise, Jon, 1942-2000 (Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1983)