A clear, comprehensive & rigorous treatment develops the subject from elementary concepts to the construction & analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification & axiomatization of theories in mathematics, physics & biology. Hundreds of problems, examples & exercises.

(From Goodreads)