Diese Seite auf deutsch. 
This page in English. 
Esta página em português.
Universidade de Coimbra, Departamento
de Matemática
Bureau
6.12
P-3001-454 Coimbra
Apartado 3008
Téléphone:
239-791158
ou
00351-239-791158
Fax : 239-793069
ou
00351-239-793069
E-mail :
kahle@mat.uc.pt
CENTRIA,
Universidade Nova de Lisboa,
Departamento
de Informática
Bureau
2.51
Bâtiment II
P-2829-516 Caparica
Téléphone (Bureau) :
21-2948536
ou
00351-21-2948536
demander le poste 10760.
Fax : 21-2948541
ou
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
Adresse personnelle :
D-37120 Bovenden
Berliner Str. 43
Téléphone :
0551-81080
ou
0049-551-81080
Téléphone portable :
96-7973901
ou
00351-96-7973901
E-mail :
reinhard@kahle.ch
- Théorie de la démonstration
- Intensionnalité
- Histoire de la logique
- Programmation fonctionnelle
- Programmation logique
Diese Seite auf deutsch. This page in English. Esta página em português.
Reinhard Kahle