Обучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов : учебное пособие / Т. М. Косовская ; Санкт-Петербургский гос. ун-т
Язык: русский.Выходные данные: Санкт-Петербург : Издательский дом Санкт-Петербургского государственного университета, 2013Физическая характеристика: 126, [1] с. ; 20 см.ISBN: 9785288054952 Серия: Математическая логика Библиография: Библиогр. в конце кн. (7 назв.).Предметная рубрика - Тема: Математическая логика -- Учебные издания для высших учебных заведений -- Логическое исчисление УДК: 510.6(075.8)Другие классификации: В123я73-1Коллекция: НБР Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр. в конце кн. (7 назв.)