Mathematical logic and theoretical computer science / сост.ed. D. W. Kueker, 1987. - 384 мкф. - Текст : непосредственный.