People (Subscribe)
Categories
Links
Burris, Stanleyhttp://www.thoralf.uwaterloo.ca/ University of Waterloo - Universal algebra, logic, computers.
|
Guglielmi, Alessiohttp://alessio.guglielmi.name/ Technische Universitaet Dresden - Proof Theory.
|