TY - BOOK AU - Polster, Burkard. TI - Q.E.D.: beauty in mathematical proof T2 - Wooden books SN - 9780802714312 U1 - 511.36 PY - 2004/// CY - New York PB - Bloomsbury KW - Proof theory; Logic, Symbolic and mathematical; Symbolic logic ER -