Клини, Стефен Коул Математиечская логика / Стефен Коул Клини ; Перевод с англ. Ю. А. Гастева ; Под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. 22см. Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 517.11