Comment on Proofs, Implications, and Models

Tue, 30 Oct 2012 15:13:34 GMT

Apples (and other finite sets of concrete objects) form a semiring.

Discuss