Zsuzsanna Markusz: On first order many-sorted logic (SZTAKI Tanulmányok 151/1983)

A kiadásért felelős: Vámos Tibor Főosztályvezető: Dr. Somló János ISBN 963 31­1 167 6 ISSN 0324-2951

Next