E104-02 Computational Logic