Quote


Voting: - 1 +
I have no idea why this does what it does, but I'll write it down and maybe you can tell me.
— Dexter Kozen, When writing up a formula belonging to Dedekind complete Temporal Logic. · April 9, 2003