TY  - BOOK
AU  - BLACKBURN P. & RIJKE M. & VENEMA Y.
TI  - MODAL LOGIC
SN  - 0000521527147
U1  - 004.0151 
PB  - CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS
KW  - DISCRETE MATHAMATICS : LOGIC PROGRAMMING
ER  -