The Unprovability of Consistency: An Essay in Modal Logic (1979)

by G Boolos