Y.: Modal Logic, Cambridge Tracts in Theoretical (2001)

by P Blackburn, M de Rijke, Venema
Venue:Comp. Scie