The power of weak formal systems (1992)

by T Pitassi