Карри, Хаскелл Б Основания математической логики / Хаскелл Б. Карри ; Пер. с англ. В. В. Донченко ; Под редю. Ю. Гастева. - Москва, Мир, 1969. - 568 с.: с черт. Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 517.11