Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
Browse member's work

Journal articles

  • Reinhard Kahle, Hilbert vindicated, Bulletin of Symbolic Logic, Vol. 21, No. 1, Pag. 103, Abstract (given by title) for the Logic Colloquium 2014., 2015.
  • Reinhard Kahle, What is a proof?, Axiomathes, Vol. 25, No. 1, Pag. 79-91, (url), 2015.
CENTRIA member

Reinhard Kahle
Efective member

Reinhard Kahle

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

Personal web page


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