The inconsistency of Bernini's very strong intuitionistic theory
From MaRDI portal
Publication:754198
DOI10.1007/BF02176167zbMath0416.03051OpenAlexW1993665140MaRDI QIDQ754198
Publication date: 1978
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02176167
Related Items (2)
A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS ⋮ Intuitionistic theory of functionals of higher type
Cites Work
This page was built for publication: The inconsistency of Bernini's very strong intuitionistic theory
