Ruzsa, Imre

Model logic with descriptions - London Martinus Nijhoff Publishers 1981

330.01519 / RUZ