Applied Logic