1. |
Беклемишев, Л. Д. Схемы рефлексии в формальной арифметике : автореф. дис. ... докт. физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев ; РАН. Математический ин-т им. В.А. Стеклова . - М. : [б. и.], 1998. - 19 с.. - Б. ц. ------------ Дод. точки доступу: РАН. Математический ин-т им. В.А. Стеклова
2. |
Беклемишев, Л. Д. Классификация пропозициональных логик доказуемости : автореф. дис. ... канд. физ.-мат. наук: 01.01.06 / Л. Д. Беклемишев ; РАН. Математический ин-т им. В.А. Стеклова. - М. : [б. и.], 1992. - 9 с.. - Б. ц. ------------ Дод. точки доступу: РАН. Математический ин-т им. В.А. Стеклова
| |