Title: Introductn to Logic& Time Special Edtn Pkg