introduction to symbolic logic and its applications
Rudolf Carnap
Dover Publications
Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.