%0 Journal Article %1 journals/ndjfl/Cruz-FilipeF15 %A Cruz-Filipe, Luís %A Ferreira, Fernando %D 2015 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 61-79 %T The Finitistic Consistency of Heck's Predicative Fregean System. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#Cruz-FilipeF15 %V 56

@article{journals/ndjfl/Cruz-FilipeF15, added-at = {2020-05-21T00:00:00.000+0200}, author = {Cruz-Filipe, Luís and Ferreira, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/2238ab96a8dbe4c013d62b09da82cf53c/dblp}, ee = {https://doi.org/10.1215/00294527-2835110}, interhash = {a71573c030e37a9d20ae709702d75a26}, intrahash = {238ab96a8dbe4c013d62b09da82cf53c}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {61-79}, timestamp = {2020-05-23T12:17:18.000+0200}, title = {The Finitistic Consistency of Heck's Predicative Fregean System.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl56.html#Cruz-FilipeF15}, volume = 56, year = 2015 }