A terrific introduction from the Stanford Encyclopedia of Philosophy to the conventions of notation and form in logic, and indeed to logical philosophy in general. Discusses the logical semantics of propositions, description, analysis, and quantification. This is the place to begin for students beginning to learn more about logic. Wonderful bibliography organized by sub-topic.