Informal Constructive Reverse Mathematics. Ishihara, H. Technical Report Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Report 229, 2004.
bibtex   
@TECHREPORT{Ish04,
  author = {Ishihara, Hajime},
  title = {Informal Constructive Reverse Mathematics},
  institution = {Centre for Discrete Mathematics and Theoretical Computer Science
	(CDMTCS) Report 229},
  year = {2004},
  keywords = {bib,con},
  pages = {1--8}
}

Downloads: 0