Handbook of Logic in Computer Science. Volume 1 Background Mathematical Structures

Samson Abramsky & Dov M. Gabbay & Thomas S. E. Maibaum