Mathematical proof theory in the light of ordinal analysis - NOVA Math

Mathematical proof theory in the light of ordinal analysis

NOVA Math > NOVA Math > NOVA Math Publications > Mathematical proof theory in the light of ordinal analysis

NOVA Math Publications

Algebra and Logic

Article
Kahle,R
SYNTHESE
Conference on Foundations of the Formal Sciences

2002
133
44958
237-255
10.1023/a:1020892011851