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