Логика доказуемости

Логика интерпретируемости Основы интерпретируемости Логики интерпретируемости расширяют логику доказуемости для описания метаматематических свойств.  Основные разработчики включают Алессандро Берардуччи, Петра Гаека […]