Product Description: This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics...read more

Product Description: This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory...read more