# More SEP Entries

Two more new entries in the Stanford Encyclopedia of interest to logicians:

From Jan’s entry I see that his translation of the interesting third chapter of Genzen’s thesis–wherein Gentzen proved normalization of natural deduction derivations–is out in the next issue of the Bulletin.