Tome 173 (1986) no. 3
Sommaire
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
p. 403-412
p. 413