%0 Journal Article %1 journals/ndjfl/Auerbach94 %A Auerbach, David %D 1994 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 130-146 %T Saying it with Numerals. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Auerbach94 %V 35

@article{journals/ndjfl/Auerbach94, added-at = {2020-05-21T00:00:00.000+0200}, author = {Auerbach, David}, biburl = {https://www.bibsonomy.org/bibtex/2567ada9a95f60fa8a838840d752025e1/dblp}, ee = {https://doi.org/10.1305/ndjfl/1040609300}, interhash = {e8f34b28a57d3abbc4b76970f376abc5}, intrahash = {567ada9a95f60fa8a838840d752025e1}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {130-146}, timestamp = {2020-05-23T12:16:23.000+0200}, title = {Saying it with Numerals.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl35.html#Auerbach94}, volume = 35, year = 1994 }