Х Всесоюзная конференция по логике, методологии и философии науки (24―26 сентября 1990 г.) : тезисы докладов и выступлений / [редколлегия: В. С. Степин (главный редактор) и др.]. Секции 1―5 : [Основания математики. Неклассические логики. Логика, компьютеризация и искусственный интеллект. Логическая семантика, логический анализ естественных языков. Социологические и этические проблемы науки]