Re: Derivations (SD)

From: Torkel Franzen <torkel@xxxxxxxxxx>
Date: 29 Jun 2005 17:58:21 +0200

"1st Semester Logic Student" <jzarwel@xxxxxxxxx> writes:

> The book is ok. Just an intro book.

Surely not. It must be an extremely advanced work in order to
put forward such powerful rules as "horseshoe elimination" and
"negation introduction".
.

References:
- Derivations (SD)
  - From: 1st Semester Logic Student
- Re: Derivations (SD)
  - From: Jeffrey Ketland
- Re: Derivations (SD)
  - From: 1st Semester Logic Student
- Re: Derivations (SD)
  - From: Torkel Franzen
- Re: Derivations (SD)
  - From: Lee Rudolph
- Re: Derivations (SD)
  - From: 1st Semester Logic Student

Prev by Date: Re: Derivations (SD)
Next by Date: Re: About countable Ordinals.
Previous by thread: Re: Derivations (SD)
Next by thread: Re: Derivations (SD)
Index(es):
- Date
- Thread