Han Logic Comp Sci Vol 5 Hlcs C door Samson Abramsky & Professor Dov M. Gabbay