On predicate and operator variants of the formation of theories of constructive mathematics

DOI10.1090/TRANS2/100/01zbMATH Open0243.02024OpenAlexW4242067034MaRDI QIDQ5654024FDOQ5654024

G. E. Mints

Publication date: 1972

Published in: Fourteen Papers on Logic, Geometry, Topology and Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/100/01

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

This page was built for publication: On predicate and operator variants of the formation of theories of constructive mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5654024)