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