Языки и исчисления



Электрик круглосуточно смотрите здесь. | сумка опт |

Глава 13


Неполные и неразрешимые теории
Теория равенства
Теория равенства - часть 2
Теория полугрупп
Теория полугрупп - часть 2
Формальная арифметика
Формальная арифметика - часть 2
Диаграммы и расширения



Содержание