Ruzsa, Imre Model logic with descriptions - London Martinus Nijhoff Publishers 1981 Dewey Class. No.: 330.01519 / RUZ