Proceedings of the 24-th conference on the history of logic : Cracow, April 28-30, 1978 (Varia, 1980)