A Note on Indicator-Functions
From MaRDI portal
Publication:5677462
DOI10.2307/2039014zbMath0262.02026OpenAlexW4242979089MaRDI QIDQ5677462
Publication date: 1973
Full work available at URL: https://doi.org/10.2307/2039014
Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)
Related Items
Hard provability logics, On partial disjunction properties of theories containing Peano arithmetic, The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\), THE -PROVABILITY LOGIC OF, Theory of proofs (arithmetic and analysis)
