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.