%0 Journal Article %1 journals/ndjfl/Shapiro00 %A Shapiro, Stewart %D 2000 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 335-364 %T Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Shapiro00 %V 41

@article{journals/ndjfl/Shapiro00, added-at = {2020-05-21T00:00:00.000+0200}, author = {Shapiro, Stewart}, biburl = {https://www.bibsonomy.org/bibtex/25baadf273616e512320440d27de17cbb/dblp}, ee = {https://doi.org/10.1305/ndjfl/1038336880}, interhash = {94129854ef3eab4eafa36aeb091d6876}, intrahash = {5baadf273616e512320440d27de17cbb}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {335-364}, timestamp = {2020-05-23T12:17:50.000+0200}, title = {Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl41.html#Shapiro00}, volume = 41, year = 2000 }