27 maj en afhandling " Formela logiken , baserad pä identitetsprincipen.