Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 2. Модель математического диалекта

Описан язык ММД – формальная модель математического диалекта, используемого в математической практике при доказательстве математических утверждений. Определены синтаксис, семантика и прагматика моделей определений математических терминов и пропозициональных, математических и метаматематических утверждений.