Have any of you read Logic: The Laws of Truth by Smith? What are your thoughts on it? From what I can tell it seems very well written. Also recommend me books on propositional and predicate logic.