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

Next