On computer implementation of the set components helping in axiomatization of some theories

Author: P. Bogdan, M. Porwolik, J.Mulawka
Conference: Title