Books about Logic, Symbolic and mathematical (sorted by popularity)