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