A formális logika azonosság törvényéről - Havas Katalin, G. (1958)