發送短信 : An algebraic introduction to mathematical logic /