Reverse Mathematics in Bishop’s Constructive Mathematics

By H. Ishihara. 2006

100 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/8682340bf474384b2ea6d188a844b58f67d07818