Title: The power of weak formal systems
First published: 1992