Title: Elementary Applied Symbolic Logic