Поиск по тегу «логику»

Показать фильтр

Мендельсон введение в математическую логику скачать pdf

Называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
мендельсон, введение, математическую, логику, скачать
—
disasa