TY  - RPRT
TI  - Gödel for Goldilocks: A Rigorous, Streamlined Proof of (a variant of) Gödel's First Incompleteness Theorem
AU  - Dan Gusfield
PY  - 2014
UR  - https://arxiv.org/abs/1409.5944
ID  - 1409.5944
ER  -