More SEP Entries

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

Your email address will not be published. Required fields are marked *