Counterexamples in intuitionistic analysis using kripke's schema

DOI10.1002/MALQ.19690151601zbMath0193.29003OpenAlexW2141631558WikidataQ124831771 ScholiaQ124831771MaRDI QIDQ5588588

R. G. Hull

Publication date: 1969

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19690151601

zbMATH Keywords

general logic

Related Items (2)

The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session

This page was built for publication: Counterexamples in intuitionistic analysis using kripke's schema