Zsuzsanna Markusz: On first order many-sorted logic (SZTAKI Tanulmányok 151/1983)
COMPUTER AND AUTOMATION INSTITUTE HUNGARIAN ACADEMY OF SCIENCES ON FIRST ORDER MANY-SORTED LOGIC Zsuzsanna Markusz Tanulmányok 151/1983
COMPUTER AND AUTOMATION INSTITUTE HUNGARIAN ACADEMY OF SCIENCES ON FIRST ORDER MANY-SORTED LOGIC Zsuzsanna Markusz Tanulmányok 151/1983