Constructive sets with equality and their mappings. (English. Russian original) Zbl 0234.02020
Sov. Math., Dokl. 8, 348-351 (1967); translation from Dokl. Akad. Nauk SSSR 173, 54-57 (1967).
MSC:
03F65 | Other constructive mathematics |