RUS  ENG
Полная версия
ЖУРНАЛЫ // Доклады Академии наук // Архив
Докл. АН СССР, 1969, том 189, номер 3, страницы 489–490 (Mi dan35038)
МАТЕМАТИКА

О некоторых алгоритмах в формальной арифметической системе

Л. Л. Цинман


УДК: 517.11

Статья представлена к публикации: П. С. Новиков
Поступило: 26.03.1969



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

© МИАН, 2024