May 13th, 2008

beartato phd

(no subject)

Tried to work out the translation-into-ordered-logic of focusing in ordered logic, ran into some curious problems.

Looks like there's a possibility gwillen might actually be my housemate next year after all.