The unprovability of consistency : : an essay in modal logic - Boolos, George S. (Cambridge University Press, 1979)