Books about Logic, Symbolic and mathematical