TY  - BOOK
AU  - Blackburn,Patrick,1959-
AU  - Rijke,Maarten de
AU  - Venema,Yde
TI  - Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
T2  - Cambridge Tracts in Theoretical Computer Science ; 53
SN  - 978-0-521-52714-9
U1  - 511.3/B562m 
PY  - 2001///
CY  - Cambridge, England 
PB  - Cambridge University Press, c2001
KW  - LOGICA MATEMATICA
N1  - Bibliografía: p. 524-543
ER  -