Публикаций на странице: Страница: 123456 | | |
|
1969 г. Авторы: Цинман Л.Л.О некоторых алгоритмах в формальной арифметической системе // Доклады АН СССР. М., 1969. Т.189. № 3.
|
|
1969 г. Авторы: Цинман Л.Л.Теорема о нормальных доказательствах в теории регулярных формул // Известия Высших учебных заведений. М., 1969. № 10.
|
|
1969 г. Авторы: Цинман Л.Л.О парадоксе изобретателя // Математика в школе. 1969. № 4.
|
|
1968 г. Авторы: Цинман Л.Л.Об относительной рекурсивности // Материалы XXVI конференции математических кафедр педагогических институтов Урала. 1968.
|
|
1968 г. Авторы: Цинман Л.Л.О роли принципа индукции в формальной арифметической системе // Математический сборник. 1968. Т. 77. № 1.
|
|
1967 г. Авторы: Цинман Л.Л.Об аксиоме полной индукции // Доклады АН СССР. М., 1967. Т. 173. № 2.
|
|
1967 г. Авторы: Цинман Л.Л.Об аксиоме полной индукции // Диссертация на соискание ученой степени кандидата физико-математических наук. М., 1967.
|
|
1967 г. Авторы: Цинман Л.Л.Об аксиоме полной индукции // Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. М., 1967.
|
|
1966 г. Авторы: Цинман Л.Л.О базисах примитивно-рекурсивно замкнутых классов функций // Доклады АН СССР. М., 1966. Т. 170. № 1.
|
|
1966 г. Авторы: Цинман Л.Л.Об ограниченной форме аксиомы полной индукции // Тезисы докладов на Международном математическом конгрессе. Секция 1. 1966.
|
|
1958 г. Авторы: Цинман Л.Л.Афинная классификация кривых 3-го порядка // Сборник научных работ физико-математического факультета МГПИ им. В.П. Потемкина. М., 1958.
|
Публикаций на странице: Страница: 123456 | | |