Соответствие расширений доказуемостно-интуиционистской логики расширениям логики доказуемости

А. Ю. Муравицкий

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

• 
•