BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS

DOI10.1017/S1755020313000051zbMath1326.03075OpenAlexW2313955599WikidataQ124980173 ScholiaQ124980173MaRDI QIDQ5402237

Charles McCarty

Publication date: 6 March 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020313000051

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Zur Deutung der intuitionistischen Logik
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item

This page was built for publication: BROUWER’S WEAK COUNTEREXAMPLES AND TESTABILITY: FURTHER REMARKS