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

Constructive mathematical theories consistent with classical logic

V. A. Lifshits


UDC: 51.01+164


 English version: Proceedings of the Steklov Institute of Mathematics, 1967, 93, 143–155

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025