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.
Leave a Reply