Новиков, Петр Конструктивная математическая логика с точки зрения классической / Петр Новиков. - Москва : Наука, 1977. - 328 с. : ил. 21см. - Математическая логика и основания математики . Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: 517.11