Diese Seite auf deutsch. 
This page in English. 
Esta página em português.
Universidade Nova de Lisboa,
Departamento
de Matemática
Bureau
46
Bâtiment VII
P-2829-516 Caparica
Universität Tübingen,
WSI
D-72076 Tübingen
Sand 13
E-mail :
kahle@informatik.uni-tuebingen.de
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
CMUC,
Universidade de Coimbra, Departamento
de Matemática
P-3001-454 Coimbra
Apartado 3008
E-mail :
kahle@mat.uc.pt
CMAF, Universidade de Lisboa
P-1649-003 Lisboa
Av. Prof. Gama Pinto 2
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