Books

Published books

Reinhard Kahle, The applicative realm, Vol. 40 of Textos de Matemática, Departamento de Matemática, Universidade de Coimbra, November 2007.

Reinhard Kahle and Michael Rathjen (eds), Gentzen's Centenary: The quest for consistency, Springer, (url), 2015.

CENTRIA member

Reinhard Kahle
Efective member

Reinhard Kahle

School: UNL
Country: Portugal
email: kahle@fct.unl.pt

Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541