%0 Conference Paper %1 conf/wollic/GodziszewskiH17 %A Godziszewski, Michal Tomasz %A Hamkins, Joel David %B WoLLIC %D 2017 %E Kennedy, Juliette %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 140-152 %T Computable Quotient Presentations of Models of Arithmetic and Set Theory. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2017.html#GodziszewskiH17 %V 10388 %@ 978-3-662-55386-2

@inproceedings{conf/wollic/GodziszewskiH17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Godziszewski, Michal Tomasz and Hamkins, Joel David}, biburl = {https://www.bibsonomy.org/bibtex/261cf6fd3993c7bd35b184d2d6bcea561/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2017}, editor = {Kennedy, Juliette and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-55386-2_10}, interhash = {751e915a2ea4018f648d20c459fc4b20}, intrahash = {61cf6fd3993c7bd35b184d2d6bcea561}, isbn = {978-3-662-55386-2}, keywords = {dblp}, pages = {140-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:47:29.000+0200}, title = {Computable Quotient Presentations of Models of Arithmetic and Set Theory.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2017.html#GodziszewskiH17}, volume = 10388, year = 2017 }