■

• Lawrence S. Moss　　“Non-wellfounded Set Theory”,　in: The Stanford Encyclopedia of Philosophy, April 16, 2008
• Jan von Plato　　“The Development of Proof Theory”,　in: The Stanford Encyclopedia of Philosophy, April 16, 2008