Олег Серебрянников - циклы книг | Бумажные издания

Учебник написан с учетом достижений современной формальной логики. Он знакомит с классической (логика высказываний и предикатов, теория естественного вывода, формализованная силлогистика) и неклассической (модальная, деонтическая, временная,