[<<][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][>>][..]