[<<][math][>>][..]

Sun Dec 18 16:42:08 EST 2011

## Logic

For my EE-brain, "logic" is the logic of electronic circuits, which
corresponds to propositional logic.
The "logic" of type systems is at least first order logic.
Quantification (things with holes) is necessary to express structure.

[Reply][About]

[<<][math][>>][..]