<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-02-12 12:57:49Software Computing Logic Mathematical proofs Proof theory Logical consequence Statements Theorem LaTeX Ed TeX QED |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2009-02-12 12:57:49Software Computing Logic Mathematical proofs Proof theory Logical consequence Statements Theorem LaTeX Ed TeX QED |
Add to Reading List |
QED.sty — right-justified end-of-proof mark Paul Taylor