Раздел 3 / 6

Страница 1 / 70

3. Секвенциальные исчисления

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Логика высказываний

Оглавление

1. Алгебра логики

2. Исчисления высказываний

3. Секвенциальные исчисления

4. Интуиционистские ИВ и ИС

Персоналия и авторский указатель

Список литературы