Books about Logic (sorted alphabetically)