Buy Symbolic Logic A First Course