|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1990 |
1. |
В. Ю. Шавруков, “О двух расширениях логики доказуемости GL”, Матем. сб., 181:2 (1990), 240–255 ; V. Yu. Shavrukov, “On two extensions of the logic of provability GL”, Math. USSR-Sb., 69:1 (1991), 255–270 |
1
|
|