Zsuzsanna Márkusz: Papers on many-sorted logic as a tool for modelling (SZTAKI Tanulmányok 192/1986)
A kiadásért felelős: REVICZKY LÁSZLÓ Osztályvezető: BACH IVÁN ISBN 963 311 221 4 ISSN 0324-2951
A kiadásért felelős: REVICZKY LÁSZLÓ Osztályvezető: BACH IVÁN ISBN 963 311 221 4 ISSN 0324-2951