This page in English. 
Esta página em português. 
Cette page en français.
Universidade de Coimbra, Departamento
de Matemática
Zimmer
6.12
P-3001-454 Coimbra
Apartado 3008
Telephon:
239-791158
bzw.
00351-239-791158
Telefax: 239-793069
bzw.
00351-239-793069
E-mail:
kahle@mat.uc.pt
CENTRIA,
Universidade Nova de Lisboa,
Departamento
de Informática
Zimmer
2.51
Gebäude II
P-2829-516 Caparica
Telephon (Sekretariat):
21-2948536
bzw.
00351-21-2948536
Nach Anschluß 10760 fragen (auf portugiesisch oder englisch).
Telefax: 21-2948541
bzw.
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
Privat:
D-37120 Bovenden
Berliner Str. 43
Telephon:
0551-81080
bzw.
0049-551-81080
Funktelephon:
96-7973901
bzw.
00351-96-7973901
E-mail:
reinhard@kahle.ch
- Beweistheorie
- Intensionalität
- Geschichte der Logik
- Funktionale Programmierung
- Logikprogrammierung
This page in English. Esta página em português. Cette page en français.
Reinhard Kahle