2003 History Of Logic System