Symbolic Logic And Its Applications by Hugh MacColl