The Development of Proof Theory, Stanford Encyclopedia of Philosophy (2008)

by Jan von Plato