science.mathematics.prooftheory (thread)

ESSLLI 2007 - Second Call for Course and Workshop Proposals, Carlos Areces
[PT] ESSLLI 2007 - Second Call for Course and Workshop Proposals, Carlos Areces
[PT] Reference for equality rules in SC/ND systems, James Brotherston
- Re: [PT] Reference for equality rules in SC/ND systems, Dale Miller
- Re: [PT] Reference for equality rules in SC/ND systems, negri-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
- Re: [PT] Reference for equality rules in SC/ND systems, Frank Pfenning
- Re: [PT] Reference for equality rules in SC/ND systems, negri-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
[PT] HyLo2006, Torben Brauner
- [PT] HyLo2006, Torben Brauner
[PT] [Esslli2006.dist] ESSLLI2005: Early registration deadline - May 14, Ernesto Pimentel
[PT] LPAR 2006 (Phnom Penh, Cambodia), DEADLINE EXTENSION, Miki Hermann
[PT] Workshop PCC '06, Roy Dyckhoff