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

The Development of Proof Theory by Jan von Plato and Non-wellfounded Set Theory by Larry Moss.

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.