%0 Journal Article %1 journals/afp/PopescuT20 %A Popescu, Andrei %A Traytel, Dmitriy %D 2020 %J Arch. Formal Proofs %K dblp %T From Abstract to Concrete Gödel's Incompleteness Theorems - Part I. %U http://dblp.uni-trier.de/db/journals/afp/afp2020.html#PopescuT20 %V 2020

@article{journals/afp/PopescuT20, added-at = {2020-12-10T00:00:00.000+0100}, author = {Popescu, Andrei and Traytel, Dmitriy}, biburl = {https://www.bibsonomy.org/bibtex/2b9a5675a937079574ec36f29455a8262/dblp}, ee = {https://www.isa-afp.org/entries/Goedel_HFSet_Semantic.html}, interhash = {fbbf0173cef7ccc1cb84d6c92e0e05ab}, intrahash = {b9a5675a937079574ec36f29455a8262}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2024-04-09T04:37:02.000+0200}, title = {From Abstract to Concrete Gödel's Incompleteness Theorems - Part I.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2020.html#PopescuT20}, volume = 2020, year = 2020 }