science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

September 23, 2005

(PN) PSI 2006: First CFP, PSI06 Conference

September 07, 2005

Re: [PT] right and left, Frank Pfenning
Re: [PT] right and left, Frank Pfenning

September 06, 2005

Re: [PT] right and left, Dale Miller
Re: [PT] right and left, William Tait
Re: [PT] right and left, Rajeev Prabhakar Gore

September 05, 2005

[PT] right and left, Paul B Levy
Re: [PT] predicate logic, Alwen Tiu

September 03, 2005

Re: [PT] predicate logic, Daniel Leivant
Re: [PT] predicate logic, Hongseok Yang
[PT] predicate logic, Paul B Levy

News | FAQ | advertise