RUS  ENG
Full version
JOURNALS // Trudy Matematicheskogo Instituta imeni V.A. Steklova // Archive

Trudy Mat. Inst. Steklov., 1967 Volume 93, Pages 257–258 (Mi tm2836)

Corrigenda and addenda to the article “On predicate and operator variants of the formation of the theories of constructive mathematics”

G. E. Mints



 English version:
Proceedings of the Steklov Institute of Mathematics, 1967, 93, 327–329

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025