Han Logic Comp Sci Vol 3 Hlcs C door Dov Gabbay & Maibaum