sci.logic (thread)

How does Curry/Howard formalize PROGRAM calculates FUNCTION (W&S?), Charlie-Boo, 2007/01/02
Small Set Theory, William Elliot, 2007/01/02
- Re: Small Set Theory, David Bernier, 2007/01/02
- Re: Small Set Theory, aatu . koskensilta, 2007/01/02
  - Re: Small Set Theory, Lee Rudolph, 2007/01/02
The Difference between a Set and an Element, JohnCreighton_, 2007/01/02
- Re: The Difference between a Set and an Element, Peter_Smith, 2007/01/02
- Re: The Difference between a Set and an Element, William Elliot, 2007/01/02
  - Re: The Difference between a Set and an Element, Peter_Smith, 2007/01/02
- The Difference between a Set and an Element, JohnCreighton_, 2007/01/02
Re: Maximally Consistent Sets Theory, Stephen Harris, 2007/01/01
Re: Cantor's Proof FAQ, Albrecht, 2007/01/01
And, logically, best for 2007 ..., Peter_Smith, 2007/01/01
- Re: And, logically, best for 2007 ..., aatu . koskensilta, 2007/01/01
aaaaaaaaaaaaaa, bramha, 2007/01/01
- weeeeeeeeeeeeeee, John Jones, 2007/01/01
When to Use Implication?, JohnCreighton_, 2007/01/01
- Re: When to Use Implication?, G . Frege, 2007/01/01
  - Re: When to Use Implication?, JohnCreighton_, 2007/01/01
  - Re: When to Use Implication?, JohnCreighton_, 2007/01/01
- Re: When to Use Implication?, Bill Hale, 2007/01/01
  - Re: When to Use Implication?, JohnCreighton_, 2007/01/02
[FAQ, 06/11/05] Mathematical logic on the web, Boris 'pi' Piwinger, 2006/12/31
Re: How long are the arms of Formalisms?, John Jones, 2006/12/31
- Re: How long are the arms of Formalisms?, John Jones, 2007/01/01
- Re: How long are the arms of Formalisms?, David, 2007/01/01
  - Re: How long are the arms of Formalisms?, John Jones, 2007/01/02
    - Re: How long are the arms of Formalisms?, Peter_Smith, 2007/01/02
      
      Re: How long are the arms of Formalisms?, aatu . koskensilta, 2007/01/02
- Re: How long are the arms of Formalisms?, David, 2007/01/01
Re: Can ZFC prove Addition is Associative?, aatu . koskensilta, 2006/12/31
- Re: Can ZFC prove Addition is Associative?, Michael Press, 2006/12/31
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/01
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
  - Re: Can ZFC prove Addition is Associative?, stephen, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
- Re: Can ZFC prove Addition is Associative?, Han de Bruijn, 2007/01/02
Re: Uncomputable numbers are all in your head, Rupert, 2006/12/31
- Re: Uncomputable numbers are all in your head, Newberry, 2006/12/31
  - Re: Uncomputable numbers are all in your head, Rupert, 2006/12/31
    - Re: Uncomputable numbers are all in your head, The Ghost In The Machine, 2006/12/31
    - Re: Uncomputable numbers are all in your head, Newberry, 2007/01/01
      
      Re: Uncomputable numbers are all in your head, David Bernier, 2007/01/01
      
      Re: Uncomputable numbers are all in your head, Rupert, 2007/01/01
      
      Re: Uncomputable numbers are all in your head, Newberry, 2007/01/01
      
      Re: Uncomputable numbers are all in your head, Rupert, 2007/01/01
      
      Re: Uncomputable numbers are all in your head, Newberry, 2007/01/01
ILLC Research Reports and Technical Notes 2006, Marco Vervoort,P.315,+31 20 525 6519,,, 2006/12/31
Re: Categorical model of N?, Peter_Smith, 2006/09/13
Re: Why Has None of Computer Science been Formalized?, Patricia Shanahan, 2006/09/13