Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Mathematical proof theory in the light of ordinal analysis
2002
kahle1
-
Journal
Reinhard Kahle
Synthese
-
-
133(1-2)
-
237-255
-
-
-
-
Export formats
Reinhard Kahle, Mathematical proof theory in the light of ordinal analysis, Synthese, Vol. 133(1-2), Pag. 237-255, 2002.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=b570cbdb4f774fdba2c8f05ae3faa5de" class="author">Reinhard Kahle</a></b>, <u>Mathematical proof theory in the light of ordinal analysis</u>, Synthese, Vol. 133(1-2), Pag. 237-255, 2002.
@article {kahle1, author = {Reinhard Kahle}, title = {Mathematical proof theory in the light of ordinal analysis}, journal = {Synthese}, volume = {133(1-2)}, pages = {237-255}, year = {2002}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=5c1cc480819dfb955c5a06e5392fa96e
http://centria.di.fct.unl.pt/publications/view.php?code=kahle1
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento