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:
© , 2025