Э. Караваев – лучшие книги
-
Символическая логика С. С. Гусев
ISBN: 5-288-02447-2 Год издания: 2005 Издательство: Издательство Санкт-Петербургского университета Язык: Русский Учебник написан с учетом достижений современной формальной логики. Он знакомит с классической (логика высказываний и предикатов, теория естественного вывода, формализованная силлогистика) и неклассической (модальная, деонтическая, временная,
