My First Paper!

I went through old floppies when I went back home over the summer and found the first logic paper I ever wrote! It was on proof theory and general algebra (I guess I must have taken courses in both at the time--1992). For your amusement: A Paedagogical Example of Cut-Elimination