Статья

Симонова, Ирина Гаяновна.
Сепарационное свойство для доказуемостно-интуиционистского исчисления / И. Г. Симонова // Вісник Одеського національного університету = Вестник Одесского национального университета. – 20/12/2008. – Том 13 Вип.17:Математика и механика. – С. 73-85.


Ключевые слова = биословарь-математики и механики
Ключевые слова = сепарационное свойство
Ключевые слова = доказуемостно-интуиционистское исчисление