Diese Seite auf deutsch. 
This page in English. 
Cette page en français.
Universidade de Coimbra, Departamento
de Matemática
Gabinete
6.12
P-3001-454 Coimbra
Apartado 3008
Telefone:
239-791158
resp.
00351-239-791158
Telefax: 239-793069
resp.
00351-239-793069
E-mail:
kahle@mat.uc.pt
CENTRIA,
Universidade Nova de Lisboa,
Departamento
de Informática
Gabinete
2.51
Edifício II
P-2829-516 Caparica
Telefone (Secretaria):
21-2948536
resp.
00351-21-2948536
pedir para ligar à ext. 10760.
Telefax: 21-2948541
resp.
00351-21-2948541
E-mail:
kahle@fct.unl.pt
Universität Tübingen,
WSI
D-72076 Tübingen
Sand 13
E-mail:
kahle@informatik.uni-tuebingen.de
Endereço de casa:
D-37120 Bovenden
Berliner Str. 43
Telefone:
0551-81080
resp.
0049-551-81080
Telemóvel:
96-7973901
resp.
00351-96-7973901
E-mail:
reinhard@kahle.ch
- Teoria de demonstração
- Intensionalidade
- História da lógica
- Programação funcional
- Programação em lógica
Diese Seite auf deutsch. This page in English. Cette page en français.
Reinhard Kahle