Han Logic Comp Sci Vol 1 Hlcs C door