L . Gentzen , Med.