Adds Gentzen's LK to Encyclopedia