%0 Journal Article %1 journals/apal/AwodeyBSS14 %A Awodey, Steven %A Butz, Carsten %A Simpson, Alex %A Streicher, Thomas %D 2014 %J Ann. Pure Appl. Log. %K %N 2 %P 428-502 %T Relating first-order set theories, toposes and categories of classes. %U http://dblp.uni-trier.de/db/journals/apal/apal165.html#AwodeyBSS14 %V 165

@article{journals/apal/AwodeyBSS14, added-at = {2023-12-13T00:49:25.000+0100}, author = {Awodey, Steven and Butz, Carsten and Simpson, Alex and Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/20d1eb993fdd50d9b44a476bf8ad347db/admin}, ee = {https://doi.org/10.1016/j.apal.2013.06.004}, interhash = {68e94a86441b4d7d435954d64507b2a6}, intrahash = {0d1eb993fdd50d9b44a476bf8ad347db}, journal = {Ann. Pure Appl. Log.}, keywords = {}, number = 2, pages = {428-502}, timestamp = {2023-12-13T00:49:25.000+0100}, title = {Relating first-order set theories, toposes and categories of classes.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal165.html#AwodeyBSS14}, volume = 165, year = 2014 }