Э. Караваев — новинки

1 произведение
1 издание на 2 языках

По дате

По популярности По дате По серии По циклам По алфавиту Произведения

0,0

Купить

С. С. Гусев Символическая логика

ISBN:	5-288-02447-2
Год издания:	2005
Издательство:	Издательство Санкт-Петербургского университета
Язык:	Русский

Аннотация

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