Книга
104 4730

Кривий, Сергій Лук'янович.
Вступ до некласичної математичної логіки : навч. посіб. для студ. ун-тів, які навч. за напр. підгот. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар; Київський нац. ун-т ім. Т. Шевченка. – Київ : Київський ун-т, 2010. – 205 с. : рис.
Бібліогр.: с. 199-201 (50 назв.)
ISBN 978-966-439-209-6.

ББК В12я73

Гриф = Рекомендовано МО
Предметні рубрики = Математика : основания математики, математическая логика : общий раздел : учебные пособия для вузов

1635403 ОФ