Эта публикация цитируется в 1 статье

Конструктивная классификация арифметических предикатов и семантические базисы арифметики

М. М. Кипнис

Реферативные базы данных:

• 
•