Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference16 articles.
1. Beeson, M., Some relations between classical and constructive mathematics, The Journal of Symbolic Logic 43(2):228–246, 1978.
2. Beeson, M., A type-free Gödel interpretation, The Journal of Symbolic Logic, 43(2):213–227, 1978.
3. Beeson, M., Foundations of Constructive Mathematics. Metamathematical Studies, Springer, Berlin, 1985.
4. Bishop, E., Foundations of Constructive Analysis, Ishi Press International, New York, 2012.
5. Bishop, E., and D. Bridges, Constructive Analysis, Springer, Heidelberg, 2011.