RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive
Trudy Mat. Inst. Steklov., 1967 Volume 93, Pages 123–141 (Mi tm2830)
Constructive mathematical logic

A language of constructive mathematics involving systems of sets

Phan Đìni Diêu


UDC: 51.01:164


 English version: Proceedings of the Steklov Institute of Mathematics, 1967, 93, 157–181

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025