Mathematical proof theory in the light of ordinal analysis

Reinhard Kahle

pp. 237-255


This document is unfortunately not available for download at the moment.

Not implemented yet !