Цинман Леонид Львович

Публикации в базе данных Math-Net.Ru

1. О некоторых алгоритмах в формальной арифметической системе
   
   Докл. АН СССР, 189:3 (1969),  489–490
2. Теорема о нормальных доказательствах в теории регулярных формул
   
   Изв. вузов. Матем., 1969, № 10,  90–96
3. О роли принципа индукции в формальной арифметической системе
   
   Матем. сб., 77(119):1 (1968),  71–104
4. Об аксиоме полной индукции
   
   Докл. АН СССР, 173:2 (1967),  273–274
5. О базисах примитивно-рекурсивно замкнутых классов функций
   
   Докл. АН СССР, 170:1 (1966),  45–48


6. Поправки к статье “Об аксиоме полной индукции” (ДАН, т. 173, № 2)
   
   Докл. АН СССР, 182:3 (1968),  8