Поиск
Закладки
Озвучить текст Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика, часть II

4. Секвенциальное исчисление предикатов (ИПС)

4.1. Аксиомы и правила вывода ИПС
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 6 стр. из этой главы.
Для продолжения работы требуется Registration
На предыдущую страницу

Предыдущая страница

Следующая страница

На следующую страницу
4. Секвенциальное исчисление предикатов (ИПС)
На предыдущую главу Предыдущая глава
оглавление
Следующая глава На следующую главу