Sommaire du Fascicule no. 1
p. 27-39
p. 94-112
Sommaire du Fascicule no. 2
p. 213-224
Sommaire du Fascicule no. 3
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
p. 403-412
p. 413