Рыжков А. Г. Формализированный и конструкторский подход к проблеме истинности в математической логике / Рыжков А. Г. - Саратов : издат.-во Сарат. ун-та. 1964. - 28 с. ISBN: Subjects--Index Terms: მათემატიკური ლოგიკა Universal Decimal Class. No.: