%0 Journal Article %1 journals/apal/Mathias01 %A Mathias, A. R. D. %D 2001 %J Ann. Pure Appl. Log. %K dblp %N 1-3 %P 107-234 %T The strength of Mac Lane set theory. %U http://dblp.uni-trier.de/db/journals/apal/apal110.html#Mathias01 %V 110

@article{journals/apal/Mathias01, added-at = {2020-02-21T00:00:00.000+0100}, author = {Mathias, A. R. D.}, biburl = {https://www.bibsonomy.org/bibtex/2b216d1b23e757391a3a66b4a64b44290/dblp}, ee = {https://doi.org/10.1016/S0168-0072(00)00031-2}, interhash = {32ddbbd93a2324d7dbbb0e8842af6077}, intrahash = {b216d1b23e757391a3a66b4a64b44290}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-3}, pages = {107-234}, timestamp = {2020-02-22T12:45:49.000+0100}, title = {The strength of Mac Lane set theory.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal110.html#Mathias01}, volume = 110, year = 2001 }