Burris S. Logic for Mathematics and Computer Science 1998