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

Publication details

Go back
Publication details
Main information
Gentzen's Centenary: The quest for consistency
2015
KR15
-
Book edition
Reinhard Kahle, Michael Rathjen
-
-
Springer
-
-
-
-
http://www.springer.com/mathematics/book/978-3-319-10102-6
Export formats
Reinhard Kahle and Michael Rathjen (eds), Gentzen's Centenary: The quest for consistency, Springer, (http://www.springer.com/mathematics/book/978-3-319-10102-6), 2015.
<a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="editor">Reinhard Kahle</a> and Michael Rathjen (eds), <u>Gentzen's Centenary: The quest for consistency</u>, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, (<a href="http://www.springer.com/mathematics/book/978-3-319-10102-6" target="_blank">url</a>), 2015.
@book {KR15, editor = {Reinhard Kahle and Michael Rathjen}, title = {Gentzen's Centenary: The quest for consistency}, publisher = {Springer}, url = {http://www.springer.com/mathematics/book/978-3-319-10102-6}, year = {2015}, }
Publication's urls
/publications/view.php?code=f4f7362d290624db1e589c304039ea50
/publications/view.php?code=KR15
Go back
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