Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление высказываний \ Синтаксис исчисления высказываний \

9.6.2.3.1.2. Синтаксис
исчисления высказываний
по Расевой Е., Сикорскому Р. ©

9.6.2.3.1.2.1. Алгебра формул пропозиционального языка      9.6.2.3.1.2.2. Алгебра формул как абсолютно свободная алгебра
9.6.2.3.1.2.3. Операция подстановки в формулы как гомоморфизм
9.6.2.3.1.2.1. Алгебра формул пропозиционального языка      9.6.2.3.1.2.2. Алгебра формул как абсолютно свободная алгебра
9.6.2.3.1.2.3. Операция подстановки в формулы как гомоморфизм
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Логика \ Исчисление высказываний \ Синтаксис исчисления высказываний \