Books about Logic, Symbolic and mathematical (sorted alphabetically)