Review: Moh Shaw-Kwei, The Deduction Theorems and Two New Logical Systems