science.mathematics.prooftheory (thread)

[PT] Master Class in Mathematical Logic, 2006-7, Jaap van Oosten
Master Class in Mathematical Logic, 2006-7, Jaap van Oosten
[PT] PhD or postdoc position - reasoning/semantic web at AIFB Karlsruhe, Pascal Hitzler
[PT] Postdoc at Oxford, Luke Ong
[PT] CFP: M4M-4 Program and Call for Participation, Holger Schlingloff
[PT] CiE06: 2nd Call for Papers, cie06-QvkbJbr/y3w2EctHIo1CcQ
[PT] CSR-2006: Final Call for Papers, Edward A. Hirsch
[PT] Ackermann Award, Zoltan Esik
[PT] CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
Re: [PT] Sequent systems where cut is not admissible, Peter Schroeder-Heister
- Re:[PT] Sequent systems where cut is not admissible, Alessio Guglielmi