%0 Conference Paper %1 conf/cade/0001T19 %A Popescu, Andrei %A Traytel, Dmitriy %B CADE %D 2019 %E Fontaine, Pascal %I Springer %K dblp %P 442-461 %T A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. %U http://dblp.uni-trier.de/db/conf/cade/cade2019.html#0001T19 %V 11716 %@ 978-3-030-29436-6

@inproceedings{conf/cade/0001T19, added-at = {2019-08-21T00:00:00.000+0200}, author = {Popescu, Andrei and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2af007bcf19bd04aa556d9d8bc54bcec7/dblp}, booktitle = {CADE}, crossref = {conf/cade/2019}, editor = {Fontaine, Pascal}, ee = {https://doi.org/10.1007/978-3-030-29436-6_26}, interhash = {cafb3c0aacb5149911bf3c0f360f2797}, intrahash = {af007bcf19bd04aa556d9d8bc54bcec7}, isbn = {978-3-030-29436-6}, keywords = {dblp}, pages = {442-461}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-22T11:41:32.000+0200}, title = {A Formally Verified Abstract Account of Gödel's Incompleteness Theorems.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2019.html#0001T19}, volume = 11716, year = 2019 }