Blackburn, Patrick de Rijke, Maarten Venema, Yde
Modal Logic - Cambridge Cambridge University Press 2001 - 554 - Cambridge tracts in theoretical computer science .
9780521527149
510.6 BLA
Modal Logic - Cambridge Cambridge University Press 2001 - 554 - Cambridge tracts in theoretical computer science .
9780521527149
510.6 BLA