The Power of Weak Formal Systems (1992)

by T Pitassi