Title: O logike konstruktivnoi matematiki
Subjects: Constructive mathematics, Symbolic and mathematical Logic