RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия высших учебных заведений. Математика // Архив
Изв. вузов. Матем., 1969, номер 10, страницы 90–96 (Mi ivm3588)
Теорема о нормальных доказательствах в теории регулярных формул

Л. Л. Цинман

г. Москва

УДК: 517.11

Поступила: 21.03.1968



Реферативные базы данных:

© МИАН, 2024