Trends in Logic III
International Conference
in memoriam Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer