Title: Simmetricheskai͡a︡ konstruktivnai͡a︡ logika
Subjects: Constructive mathematics, Symbolic and mathematical Logic