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