Symbolic Logic

This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: 

·           The characteristic nature and scope of logic as a discipline

·           The construction of a series of distinctly named formal languages suitable for formal translation

·           Semantic models

·           The construction of decision procedure...