FOM: essentially algebraic, open problems
Vaughan Pratt
pratt at cs.Stanford.EDU
Sun Mar 15 17:28:10 EST 1998
From: Friedman
>Remember, algebra is not logic, and logic is not algebra.
I agree. They are not equivalent but dual.
Vaughan Pratt
More information about the FOM
mailing list