Looks at the various transformations that proof theory has undergone, from its beginnings at the time of Euclid and Pythagoras to its present-day use.
Looks at the various transformations that proof theory has undergone, from its beginnings at the time of Euclid and Pythagoras to its present-day use.