The Work

Proof Theory of Impredicative Subsystems of Analysis

The details

The Author

Kurt Schütte

The offers