Hjelmérns , sm . , den 27 maj en afhandling » Formela logiken baserad på ideutitetsprinoipen.