|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2002 |
| 1. |
М. Ф. Раца, “Формальное сведение общей проблемы выразимости формул в логике доказуемости Гёделя–Лёба”, Дискрет. матем., 14:2 (2002), 95–106    ; M. F. Raţă, “A formal reduction of the general problem of the expressibility of formulas in the Gödel-Löb provability logic”, Discrete Math. Appl., 12:3 (2002), 279–290 |
|
2000 |
| 2. |
М. Ф. Раца, А. Г. Русу, “О некоторых свойствах полных по выразимости систем формул в логике доказуемости Геделя–Леба”, Дискрет. матем., 12:4 (2000), 63–82 ; M. F. Raţă, A. G. Russu, “On some properties of systems, complete with respect to expressibility, of formulas in the Gödel–Löb provability logic”, Discrete Math. Appl., 10:6 (2000), 553–570 |
|
1983 |
| 3. |
М. Ф. Раца, “Неразрешимость проблемы функциональной выразимости в модальной логике $\mathrm{S}4$”, Докл. АН СССР, 268:4 (1983), 814–817 |
1
|
|
1982 |
| 4. |
М. Ф. Раца, “Нетабличность логики ${\rm S}4$ по функциональной полноте”, Алгебра и логика, 21:3 (1982), 283–320 |
2
|
|
1979 |
| 5. |
А. В. Кузнецов, М. Ф. Раца, “Критерий функциональной полноты в классической логике предикатов первого порядка”, Докл. АН СССР, 249:3 (1979), 540–544 |
1
|
|
1971 |
| 6. |
М. Ф. Раца, “Критерий функциональной полноты в интуционистской логике высказываний”, Докл. АН СССР, 201:4 (1971), 794–797 |
|
1966 |
| 7. |
М. Ф. Раца, “Критерий функциональной полноты в логике, соответствующей первой матрице Яськовского”, Докл. АН СССР, 168:3 (1966), 524–527 |
|
|
|
1986 |
| 8. |
С. И. Адян, В. А. Андрунакиевич, О. Б. Лупанов, Е. В. Падучева, М. Ф. Раца, В. А. Успенский, “Александр Владимирович Кузнецов (некролог)”, УМН, 41:2(248) (1986), 179–180 ; S. I. Adian, V. A. Andrunakievich, O. B. Lupanov, E. V. Paducheva, M. F. Raţă, V. A. Uspenskii, “Aleksandr Vladimirovich Kuznetsov (obituary)”, Russian Math. Surveys, 41:2 (1986), 185–187  |
2
|
|
1972 |
| 9. |
М. Ф. Раца, “Поправки к статье “Критерий функциональной полноты в интуционистской логике высказываний”
(ДАН, т. 201, № 4, 1971 г.)”, Докл. АН СССР, 206:6 (1972), 775 |
|
Обратная связь: