Logic And Its Applications by A. Blass