Elements of classical logic (Synthese library : studies in epistemology, logic, methodology, and philosophy of science ;, 1983)