Several people have already found it for me, and I’ve also found a better account of the proof theory of classical logic.
I figured that would be the case (it was, after all, the top entry when Googling for it), but since you never changed your post to reflect this fact I decided it would be best to bring it up just in case.
Several people have already found it for me, and I’ve also found a better account of the proof theory of classical logic.
I figured that would be the case (it was, after all, the top entry when Googling for it), but since you never changed your post to reflect this fact I decided it would be best to bring it up just in case.