Logic And Its Applications door A. Blass