Basic Applied Logic