Elementary applied symbolic logic