Maarten de Rijke, and Yde Venema. Modal Logic (2001)

by Patrick Blackburn