Provider: Japan Science and Technology Agency Database: J-STAGE Content:text/plain; charset="utf-8" TY - JOUR TI - Rudin's Lemma and Reverse Mathematics TI - AU - LI,Gaolin AU - RU,Junren AU - WU,Guohua JO - Annals of the Japan Association for Philosophy of Science VL - 25 IS - SP - 57 EP - 66 PY - 2017 DO - 10.4288/jafpos.25.0_57 ER -