Гончаров, Сергей Савостьянович; Дроботун, Борис Николаевич
(Новосибирский государственный университет, 2008)
В работе обсуждается роль математической логики в современной математике, базовые понятия и результаты математической логики необходимые для современного исследователя в области математики и приложений в информатики.