A Note on Indicator-Functions

From MaRDI portal

Revision as of 04:31, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5677462

Jump to:navigation, search

DOI10.2307/2039014zbMath0262.02026OpenAlexW4242979089MaRDI QIDQ5677462

No author found.

Publication date: 1973

Full work available at URL: https://doi.org/10.2307/2039014

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (6)

Hard provability logics ⋮ On partial disjunction properties of theories containing Peano arithmetic ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ THE -PROVABILITY LOGIC OF ⋮ The \(\Sigma_1\)-provability logic of HA revisited ⋮ Theory of proofs (arithmetic and analysis)

This page was built for publication: A Note on Indicator-Functions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5677462&oldid=30390545"