M. Borowska, E. Oczeretko, W. Półjanowicz
A Tale of Two Set Theories
12th International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, Jul 8-12, 2019
Czech Institute of Informatics, Robotics, and Cybernetics of Czech Technical University in Prague (org.)
