Reality and Truth in Mathematics. Beeson, M. Philosophia Mathematica, 6:131-168, 1998.  
Pdf  bibtex   @article{beeson1998b,
	author = {Michael Beeson},
	date-added = {2014-11-13 23:30:24 +0000},
	date-modified = {2014-11-14 20:03:35 +0000},
	journal = {Philosophia Mathematica},
	keywords = {Logic, Constructive mathematics, Philosophy},
	pages = {131-168},
	title = {Reality and Truth in Mathematics},
	url_pdf = {reality.pdf},
	volume = {6},
	year = {1998}} 
Downloads: 0
{"_id":"TLhKPinLW6AEAD7o8","bibbaseid":"beeson-realityandtruthinmathematics-1998","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-13 23:30:24 +0000","date-modified":"2014-11-14 20:03:35 +0000","journal":"Philosophia Mathematica","keywords":"Logic, Constructive mathematics, Philosophy","pages":"131-168","title":"Reality and Truth in Mathematics","url_pdf":"reality.pdf","volume":"6","year":"1998","bibtex":"@article{beeson1998b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-13 23:30:24 +0000},\n\tdate-modified = {2014-11-14 20:03:35 +0000},\n\tjournal = {Philosophia Mathematica},\n\tkeywords = {Logic, Constructive mathematics, Philosophy},\n\tpages = {131-168},\n\ttitle = {Reality and Truth in Mathematics},\n\turl_pdf = {reality.pdf},\n\tvolume = {6},\n\tyear = {1998}}\n\n","author_short":["Beeson, M."],"key":"beeson1998b","id":"beeson1998b","bibbaseid":"beeson-realityandtruthinmathematics-1998","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/reality.pdf"},"keyword":["Logic","Constructive mathematics","Philosophy"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics","philosophy"],"search_terms":["reality","truth","mathematics","beeson"],"title":"Reality and Truth in Mathematics","year":1998}