Introduction to Symbolic Logic and its Applications by Rudolf Carnap
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.
ISBN: 9780486604534. 241 pp.
Translated by John Wilkinson and William H. Meyer.
Softcover. Very good.