Blackburn, Patrick. de Rijke, Maarten. Venema, Yde.
Modal Logic : (CTCS 53) - Cambridge CUP 2001 - 554 - Cambridge Tracts in Theoretical Computer Science, 53 .
0 521 80200 8
Modality (Logic)
510.6 BLA
Modal Logic : (CTCS 53) - Cambridge CUP 2001 - 554 - Cambridge Tracts in Theoretical Computer Science, 53 .
0 521 80200 8
Modality (Logic)
510.6 BLA