Pdf  doi  bibtex   4 downloads  

@article{beeson2015b,
	author = {Michael Beeson},
	date-added = {2014-11-15 01:21:33 +0000},
	date-modified = {2015-10-08 17:57:18 +0000},
	doi = {10.1016/j.apal.2015.07.006},
	journal = {Annals of Pure and Applied Logic},
	keywords = {Constructive mathematics, Geometry, Logic},
	number = {11},
	pages = {1199-1273},
	title = {A constructive version of {T}arski's geometry},
	url_pdf = {ConstructiveTarski.pdf},
	volume = {166},
	year = {2015},
	Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}