What books would serve as a comprehensive overview of philosophical and mathematical logic?