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
An extended predicative definition of the Mahlo universe
2010
KS10
-
Book chapter
Reinhard Kahle, Anton Setzer
Ralf Schindler
Ways of Proof Theory
Mathematical Logic
Ontos Verlag
-
-
315-340
-
-
-
-
Export formats
Publication's urls

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

Fundacao_FCT