Az azonosság törvénye a hagyományos és modern formális logikában - Havas Katalin (1964)