Cadbury Chocolate Block coles. 民青局青年初創實習計劃. Propositional logic syntax and semantics. Chip Holman.