Zsuzsanna Márkusz: Papers on many-sorted logic as a tool for modelling (SZTAKI Tanulmányok 192/1986)

Next