Reverse Mathematics in Bishop's Constructive Mathematics

Hajime Ishihara
2006 Philosophia Scientiæ  
doi:10.4000/philosophiascientiae.406 fatcat:bp5dqdaysbepbfl5vjxusodtaa