Re: "|-" and proofs
- From: William Elliot <marsh@xxxxxxxxxxxxxxxxxx>
- Date: Wed, 23 Nov 2005 19:15:29 -0800
On Wed, 23 Nov 2005, Torkel Franzen wrote:
> William Elliot <marsh@xxxxxxxxxxxxxxxxxx> writes:
>
> > So what? I don't recall the particulars.
> So what?
>
> > That's what I'm doing.
> Splendid.
>
Wow, we agree? Oh, BTW, what did we agree upon?
.
- Follow-Ups:
- Re: "|-" and proofs
- From: Torkel Franzen
- Re: "|-" and proofs
- References:
- "|-" and proofs
- From: paul_bostonjp
- Re: "|-" and proofs
- From: William Elliot
- Re: "|-" and proofs
- From: Daryl McCullough
- Re: "|-" and proofs
- From: William Elliot
- Re: "|-" and proofs
- From: Torkel Franzen
- Re: "|-" and proofs
- From: William Elliot
- Re: "|-" and proofs
- From: Torkel Franzen
- "|-" and proofs
- Prev by Date: Re: What is the 1st order formal system known as PA?
- Next by Date: Re: Help with a problem
- Previous by thread: Re: "|-" and proofs
- Next by thread: Re: "|-" and proofs
- Index(es):
