TY - BOOK AU - Ruzsa,Imre TI - Modal logic with descriptions SN - 9024724732 U1 - 160 PY - 1981/// CY - The Hague, The Netherlands PB - Martinus Nijhoff KW - Modality (Logic) N1 - Includes index ER -