science.mathematics.prooftheory (thread)

[PT] Beth Dissertation Price - Call for Submissions, Carlos Areces
[PT] GoI/Semantics of Classical Proofs, David J. Pym
[PT] Re: GoI/Semantics of Classical Proofs, David J. Pym
[PT] Paper Announcement, Francois Lamarche
[PT] ESSLLI'05 StuS: Deadline extended until 22nd February 2005, Judit Gervain
[PT] CFP: Intuitionistic Modal Logic and Applications (IMLA'05), Frank Pfenning
ICCL Summer School: Logic-based Knowledge Representation, Bertram Fronhoefer
[PT] International M.Sc. Program in COMPUTATIONAL LOGIC, Int. Center for Computational Logic