Манин, Юрий Иванович Доказуемое и недоказуемое / Юрий Манин. - Москва : Сов. радио, 1979. - 167 с. - Кибернетика . Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 517.11