[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