HDR

Lutz Strassburger <[email protected]> Fri, 7 Jan 2011 11:43:33 +0100 (CET)

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<alpine.DEB.2.00.1101071139510.24736@chene>

Hi Frogs,

my habilitation thesis
"Towards a Theory of Proofs of Classical Logic"

is available here:
<http://www.lix.polytechnique.fr/~lutz/papers/HDR.pdf>

The public defense takes place today at 14:00 at Ecole Polytechnique 
(Amphi Bequerel).

Best wishes,
Lutz