%0 Journal Article %1 journals/jfrea/AvronC16 %A Avron, Arnon %A Cohen, Liron %D 2016 %J J. Formaliz. Reason. %K dblp %N 1 %P 53-70 %T Formalizing Scientifically Applicable Mathematics in a Definitional Framework. %U http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#AvronC16 %V 9

@article{journals/jfrea/AvronC16, added-at = {2020-09-24T00:00:00.000+0200}, author = {Avron, Arnon and Cohen, Liron}, biburl = {https://www.bibsonomy.org/bibtex/2c1d0f07c44681c6b3e8dab4b378bcce9/dblp}, ee = {https://doi.org/10.6092/issn.1972-5787/4573}, interhash = {2117da18ccc6ae175e2dd67b85e1813d}, intrahash = {c1d0f07c44681c6b3e8dab4b378bcce9}, journal = {J. Formaliz. Reason.}, keywords = {dblp}, number = 1, pages = {53-70}, timestamp = {2020-09-25T11:53:02.000+0200}, title = {Formalizing Scientifically Applicable Mathematics in a Definitional Framework.}, url = {http://dblp.uni-trier.de/db/journals/jfrea/jfrea9.html#AvronC16}, volume = 9, year = 2016 }