TY  - BOOK
AU  - Wansing, Heinrich.
TI  - Displaying Modal Logic
SN  - 0 7923 5205 X
CY  - Netherlands
KW  - Logic
ER  -