There is ample material in the first 11 chapters for a one-semester course; one can, if pressed for time, omit chapters 12-14. The apparatus of the sentential calculus is relegated to the appendices.