[FOM] Proof Theory List
Alessio Guglielmi
Alessio.Guglielmi at inf.tu-dresden.de
Sat Jan 25 13:53:05 EST 2003
Hello,
two weeks ago I asked whether there is an interest in a list
exclusively dedicated to proof theory. I've got a few positive
answers by people that also subscribed to a list I was maintaining
for a more limited purpose.
Well, there is now a list dedicated to proof theory, which you can
access from
<http://www.ki.inf.tu-dresden.de/~guglielm/Research/list.html>.
-Alessio
--
Alessio Guglielmi, PhD
Department of Computer Science - Technische Universitaet Dresden
Hans-Grundig-Str. 25
D-01062 Dresden - Germany
<http://www.ki.inf.tu-dresden.de/~guglielm/>
More information about the FOM
mailing list