science.mathematics.prooftheory (thread)

(PN) PSI 2006: First CFP, PSI06 Conference
[PT] right and left, Paul B Levy
- Re: [PT] right and left, Rajeev Prabhakar Gore
- Re: [PT] right and left, William Tait
- Re: [PT] right and left, Dale Miller
  - Re: [PT] right and left, Frank Pfenning
- Re: [PT] right and left, Frank Pfenning
[PT] predicate logic, Paul B Levy
- Re: [PT] predicate logic, Daniel Leivant
- Re: [PT] predicate logic, Alwen Tiu
- Re: [PT] predicate logic, Hongseok Yang