Buy Symbolic Logic: A First Course