Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses w

This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of

This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order,

Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and prolif