%0 Journal Article %1 journals/tcs/Bridges99 %A Bridges, Douglas S. %D 1999 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 95-109 %T Constructive Mathematics: A Foundation for Computable Analysis. %U http://dblp.uni-trier.de/db/journals/tcs/tcs219.html#Bridges99 %V 219

@article{journals/tcs/Bridges99, added-at = {2021-02-17T00:00:00.000+0100}, author = {Bridges, Douglas S.}, biburl = {https://www.bibsonomy.org/bibtex/225f6b2daaadabacbc8a935651a7bf17b/dblp}, ee = {https://doi.org/10.1016/S0304-3975(98)00285-0}, interhash = {c08f7b70e0169c83b0696c50927f11e4}, intrahash = {25f6b2daaadabacbc8a935651a7bf17b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {95-109}, timestamp = {2024-04-08T18:48:46.000+0200}, title = {Constructive Mathematics: A Foundation for Computable Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs219.html#Bridges99}, volume = 219, year = 1999 }