%0 Journal Article %1 journals/corr/Gusfield14 %A Gusfield, Dan %D 2014 %J CoRR %K dblp %T Gödel for Goldilocks: A Rigorous, Streamlined Proof of Gödel's First Incompleteness Theorem, Requiring Minimal Background. %U http://dblp.uni-trier.de/db/journals/corr/corr1409.html#Gusfield14 %V abs/1409.5944

@article{journals/corr/Gusfield14, added-at = {2018-08-13T00:00:00.000+0200}, author = {Gusfield, Dan}, biburl = {https://www.bibsonomy.org/bibtex/24d013b6cb3cf1ea6dac2fa9b8f42afbc/dblp}, ee = {http://arxiv.org/abs/1409.5944}, interhash = {78b1cd01bd9e6dfe99b206a80e2fd0a5}, intrahash = {4d013b6cb3cf1ea6dac2fa9b8f42afbc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:28:37.000+0200}, title = {Gödel for Goldilocks: A Rigorous, Streamlined Proof of Gödel's First Incompleteness Theorem, Requiring Minimal Background.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1409.html#Gusfield14}, volume = {abs/1409.5944}, year = 2014 }