Books about Logic, Symbolic and mathematical (sorted by release date)