%0 Journal Article %1 journals/ndjfl/Holmes99 %A Holmes, M. Randall %D 1999 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 183-196 %T Subsystems of Quine's "New Foundations" with Predicativity Restrictions. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl40.html#Holmes99 %V 40

@article{journals/ndjfl/Holmes99, added-at = {2020-05-21T00:00:00.000+0200}, author = {Holmes, M. Randall}, biburl = {https://www.bibsonomy.org/bibtex/2dfb02ce1216a87e7fc51b6eaa804bc4a/dblp}, ee = {https://doi.org/10.1305/ndjfl/1038949535}, interhash = {7e4922310af24735f232ac47804ca345}, intrahash = {dfb02ce1216a87e7fc51b6eaa804bc4a}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {183-196}, timestamp = {2020-05-23T12:16:48.000+0200}, title = {Subsystems of Quine's "New Foundations" with Predicativity Restrictions.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl40.html#Holmes99}, volume = 40, year = 1999 }