9780486601700: Symbolic Logic