04 Исчисление предикатов

описание формального языка: формулы и термы типизация объектов предметной области замкнутые формулы нелогические аксиомы и теория алгебраическая структура как модель 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: