|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1990 |
1. |
И. Г. Симонова, “Об интерполяционном свойстве для расширений доказуемостно-интуиционистской логики”, Матем. заметки, 47:5 (1990), 88–99 ; I. G. Simonova, “Interpolation property for extensions of intuitionistic proof logic”, Math. Notes, 47:5 (1990), 483–490 |
4
|
|