Modal Logic: 53 Cambridge Tracts in Theoretical Computer Science / aut. Patrick Blackburn, de Maarten Rijke, Yde Venema
Blackburn Patrick  Rijke de Maarten Venema Yde
4. vyd.
New York: Cambridge University Press, 2010 . - 554 s.
ISBN 978-0-521-52714-9
logika algebra modelovanie
monografia