Title: Introduction to Symbolic Logic and Its Applications