Клини С.К. — Введение в метаматематику | см. «Автоматический перевод», «Автонимный», «Алфавит», «Анонимный», «Буква», «Дополнение», «Имя», «Кавычки», «Лингвистическая система формальная», «Обозначение перевод», «Подлежащее», «Символ», «Символический язык», «Синтаксис», «Сказуемое», «Слово», «Язык» |