TY - BOOK AU - RUZSA,IMRE TI - MODAL LOGIC WITH DESCRIPTIONS SN - NCST U1 - 59 PY - 1981/// CY - THE HAGUE PB - OTH ER -