I am now a lecturer at Dept. of Computer Science, University of Wales Swansea; See my new homepage at http://www.cs.swan.ac.uk/~csetzer

I am still a docent for mathematical logic at the department of Uppsala. Before 1/xi/2000 I was and from 1/i/2001 - 15/vii/2001 I had a research position associated with the Group for Mathematical Logic, Department of Mathematics, Uppsala University.

- Address at University of Wales Swansea
Anton Setzer

Dept. of Computer Science,

University of Wales Swansea

Singleton Park

Swansea

SA2 8PP

UK

- Tel.

National (01792) 205678 (switchboard) ext. 4518

International Tel. +44 1792 513368

- Fax

National (01792) 295651

International +44 1792 295651

- Room 211, Engineering Building
- Homepage:http://www.cs.swan.ac.uk/~csetzer/

Before moving to Uppsala I was member of the Group for Mathematical Logic, Mathematical Institute, University of Munich

- Proof Theory Course
- Course Algebra MN3
- Course on Constructive Logic and Lambda Calculus
- Lecture series:
Introduction to intuitionistic Type Theory
- An overview over my research can be found here.
**Articles, lecture notes**-
**Links to Logic-servers world-wide** - Links
- Private (only readable for myself)