Hacker News new | ask | show | jobs
by ogogmad 2143 days ago
Goedel is there. See pages 8 to 9.
1 comments
mazesc 2143 days ago
Oops, thanks! Didn't try "oe".
link