A note on my paper A very strong intuitionistic theory

DOI10.1007/BF02176168MaRDI QIDQ754200zbMATH OpenFDO

Authors Sergio Bernini

Publication date 1978

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02176168

zbMATH Keywords

choice functionalsinterpretabilityintuitionistic formal systems

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites work

• A very strong intuitionistic theory

Cited in

(1)

• A strong multi-typed intuitionistic theory of functionals

This page was built for publication: A note on my paper A very strong intuitionistic theory

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