sci.logic
- Where is the paradox in liar?,
Newberry
- Re: Where is the paradox in liar?,
Daryl McCullough
- Re: Where is the paradox in liar?,
Charlie-Boo
- Re: Where is the paradox in liar?, Daryl McCullough
- Re: Where is the paradox in liar?,
Charlie-Boo
- Re: Where is the paradox in liar?,
Charlie-Boo
- Re: Where is the paradox in liar?, Newberry
- Re: Where is the paradox in liar?,
Daryl McCullough
- Need help to answer a boy genius.,
ludios
- Re: Need help to answer a boy genius., abo
- Re: Need help to answer a boy genius.,
Charlie-Boo
- Re: Need help to answer a boy genius.,
Frederick Williams
- Re: Need help to answer a boy genius., Charlie-Boo
- Re: Need help to answer a boy genius.,
Frederick Williams
- Liar's Paradox in Godel's Theorem (newbie question),
gundalav
- Re: Liar's Paradox in Godel's Theorem (newbie question), David Kinny
- Re: Liar's Paradox in Godel's Theorem (newbie question),
Aatu Koskensilta
- Re: Liar's Paradox in Godel's Theorem (newbie question),
gundalav
- Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta
- Re: Liar's Paradox in Godel's Theorem (newbie question),
Charlie-Boo
- Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta
- Re: Liar's Paradox in Godel's Theorem (newbie question),
gundalav
- Fallacies,
tjb
- Re: Fallacies, William Elliot
- "read-only Turing machines", Snis Pilbor
- Question...,
Logic Noob
- Re: Question...,
Barb Knox
- Re: Question...,
Logic Noob
- Re: Question..., Barb Knox
- Re: Question..., Kevin Brubeck Unhammer
- Re: Question..., Barb Knox
- Re: Question...,
Logic Noob
- Re: Question...,
Barb Knox
- The Real Bible Code - Decoding in Real Time, borisg1
- Tarski's definition of infinity --- Help!,
contradictions . for . all
- Re: Tarski's definition of infinity --- Help!,
David C . Ullrich
- Re: Tarski's definition of infinity --- Help!, contradictions . for . all
- Re: Tarski's definition of infinity --- Help!,
David C . Ullrich
- Plc and Pnuematics/Hydraulics,
purebling
- Re: Plc and Pnuematics/Hydraulics, Frederick Williams
- Request for Peer Review - Refutation of Cantor Theorem Conclusion,
Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion,
Chris Menzel
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion,
Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Ross A. Finlayson
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion,
Scott
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, William Elliot
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion,
Chris Menzel
- Categorical?, Bill Taylor
- Undecible Arithmetic sentence?,
Bill Taylor
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta
- Re: Undecible Arithmetic sentence?,
Aatu Koskensilta
- Re: Undecible Arithmetic sentence?,
matthias
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta
- Re: Undecible Arithmetic sentence?,
matthias
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta
- Re: Undecible Arithmetic sentence?, Daryl McCullough
- Re: Arithmetic with (only) exponentiation,
george
- Re: Arithmetic with (only) exponentiation,
Bertie Reed
- Re: Arithmetic with (only) exponentiation,
george
- Re: Arithmetic with (only) exponentiation, Bertie Reed
- Re: Arithmetic with (only) exponentiation, george
- Re: Arithmetic with (only) exponentiation, Bertie Reed
- Re: Arithmetic with (only) exponentiation, Nam Nguyen
- Re: Arithmetic with (only) exponentiation, Nam Nguyen
- Re: Arithmetic with (only) exponentiation, Bertie Reed
- Re: Arithmetic with (only) exponentiation, Nam Nguyen
- Re: Arithmetic with (only) exponentiation, Nam Nguyen
- Re: Arithmetic with (only) exponentiation, Bertie Reed
- Re: Arithmetic with (only) exponentiation,
george
- Re: Arithmetic with (only) exponentiation,
Bertie Reed
- Wikipedia error about consistency of PA, george
- Re: Russell, Surprises and God (and a Quiz, naturally), george
- Notice of new publications of potential interest to historians of logic, irvanellis@xxxxxxxxx
- rPA - Relativistic Peano Arithmetic,
Nam Nguyen
- Re: rPA - Relativistic Peano Arithmetic,
Nam Nguyen
- Re: rPA - Relativistic Peano Arithmetic,
Nam Nguyen
- Re: rPA - Relativistic Peano Arithmetic, William Elliot
- Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen
- Re: rPA - Relativistic Peano Arithmetic,
Nam Nguyen
- Re: rPA - Relativistic Peano Arithmetic,
Nam Nguyen
- Dinosaurs and a Historic Climate Change Meteorite., caesarjbsquitti
- BIOCHIP --->>> VERY BAD !!!, okay
- Re: Is platonism in math correct?,
Jan Burse
- Re: Is platonism in math correct?, Jan Burse
- Lambda Abstraction,
Sebastian Zimmer
- Re: Lambda Abstraction, William Elliot
- Re: Lambda Abstraction,
H. J. Sander Bruggink
- Re: Lambda Abstraction,
Sebastian Zimmer
- Re: Lambda Abstraction, William Elliot
- Re: Lambda Abstraction, Sebastian Zimmer
- Re: Lambda Abstraction, Sebastian Zimmer
- Re: Lambda Abstraction, William Elliot
- Re: Lambda Abstraction, William Elliot
- Re: Lambda Abstraction, H. J. Sander Bruggink
- Re: Lambda Abstraction,
Sebastian Zimmer
- An example of an axiomatizable complete non-categorical second order theory?, Aatu Koskensilta
- 2SAT, 2DM, and Bin Packing, MARICA.MARIUS@xxxxxxxxx
- W+1,W-1 and the infinitude of twin primes,
ken.quirici@xxxxxxxxxx
- Re: W+1,W-1 and the infinitude of twin primes,
David Kinny
- Re: W+1,W-1 and the infinitude of twin primes, ken.quirici@xxxxxxxxxx
- Re: W+1,W-1 and the infinitude of twin primes,
David Kinny
- A problem in first order logic,
juanpool@xxxxxxxxx
- Re: A problem in first order logic,
David C . Ullrich
- Re: A problem in first order logic,
juanpool@xxxxxxxxx
- Re: A problem in first order logic, David C . Ullrich
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, David C . Ullrich
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, Jan Burse
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, Jan Burse
- Re: A problem in first order logic, David C . Ullrich
- Re: A problem in first order logic, David C . Ullrich
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic,
juanpool@xxxxxxxxx
- <Possible follow-ups>
- A problem in first order logic, juanpool@xxxxxxxxx
- Re: A problem in first order logic,
David C . Ullrich
- Math Logic?,
holdemaa
- Re: Math Logic?,
Frederick Williams
- Re: Math Logic?,
Patricia Shanahan
- Re: Math Logic?, holdemaa
- Re: Math Logic?, Patricia Shanahan
- Re: Math Logic?, holdemaa
- Re: Math Logic?, Patricia Shanahan
- Re: Math Logic?, Bertie Reed
- Re: Math Logic?,
Patricia Shanahan
- Re: Math Logic?, holdemaa
- Re: Math Logic?,
Frederick Williams
- Re: Palindromic movie, Jack Campin - bogus address
- "Surviving the strongest.",
Tommy Pedersen
- Re: "Surviving the strongest.",
Aatu Koskensilta
- Re: "Surviving the strongest.",
Tommy Pedersen
- Re: "Surviving the strongest.", Aatu Koskensilta
- Re: "Surviving the strongest.", Tommy Pedersen
- Re: "Surviving the strongest.", Aatu Koskensilta
- Re: "Surviving the strongest.",
Tommy Pedersen
- Re: "Surviving the strongest.",
Aatu Koskensilta
- Exclusiv-or,
alexander.stuckenholz@xxxxxxxxx
- Re: Exclusiv-or,
Frederick Williams
- Re: Exclusiv-or, alexander.stuckenholz@xxxxxxxxx
- Re: Exclusiv-or,
Frederick Williams
- natural deduction (2nd try),
fooby
- Re: natural deduction (2nd try),
William Elliot
- Re: natural deduction (2nd try),
G . Frege
- Re: natural deduction (2nd try), William Elliot
- Re: natural deduction (2nd try), Amicus
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try),
G . Frege
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try),
William Elliot
- Re: natural deduction (2nd try),
Amicus
- Re: natural deduction (2nd try), William Elliot
- Re: natural deduction (2nd try), G . Frege
- Re: natural deduction (2nd try),
Amicus
- Re: natural deduction (2nd try),
William Elliot
- The Real Bible Code hides logical sequence of Images., borisg1
- natural deduction,
fooby
- Re: natural deduction,
William Elliot
- Re: natural deduction,
fooby
- Re: natural deduction, H. J. Sander Bruggink
- Re: natural deduction,
fooby
- Re: natural deduction,
H. J. Sander Bruggink
- Re: natural deduction, G . Frege
- Re: natural deduction,
William Elliot
- A couple of mini meta theorems.,
Nam Nguyen
- Re: A couple of mini meta theorems.,
Aatu Koskensilta
- Re: A couple of mini meta theorems.,
Nam Nguyen
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., Frederick Williams
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., george
- Re: A couple of mini meta theorems., Aatu Koskensilta
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., Aatu Koskensilta
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., Frederick Williams
- Re: A couple of mini meta theorems., Nam Nguyen
- Re: A couple of mini meta theorems., Frederick Williams
- Re: A couple of mini meta theorems.,
Nam Nguyen
- Re: A couple of mini meta theorems.,
Aatu Koskensilta
- The Logical Foundations of Mathematics, redmaster
- A question on "sufficiently large".,
Nam Nguyen
- Re: A question on "sufficiently large".,
Daryl McCullough
- Re: A question on "sufficiently large".,
Nam Nguyen
- Re: A question on "sufficiently large"., Daryl McCullough
- Re: A question on "sufficiently large".,
Nam Nguyen
- Re: A question on "sufficiently large".,
Daryl McCullough
- How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, kopn
- Goodstein's Theorem,
Peter_Smith
- Re: Goodstein's Theorem,
matthias
- Re: Goodstein's Theorem, Peter_Smith
- Re: Goodstein's Theorem,
Bhupinder Singh Anand
- Re: Goodstein's Theorem, Rupert
- Re: Goodstein's Theorem, Bhupinder Singh Anand
- Re: Goodstein's Theorem, Aatu Koskensilta
- Re: Goodstein's Theorem,
matthias
- Koenig's Lemma,
Li Yi
- Re: Koenig's Lemma,
David C . Ullrich
- Re: Koenig's Lemma,
Li Yi
- Re: Koenig's Lemma, matthias
- Re: Koenig's Lemma, David C . Ullrich
- Re: Koenig's Lemma,
Li Yi
- Re: Koenig's Lemma,
David C . Ullrich
- The LOGICAL approach to Bible Code,
borisg1
- Re: The LOGICAL approach to Bible Code,
Tommy Pedersen
- Re: The LOGICAL approach to Bible Code,
q_q_anonymous
- Re: The LOGICAL approach to Bible Code, Avi Norowitz
- Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx
- Re: The LOGICAL approach to Bible Code, Avi Norowitz
- Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx
- Re: The LOGICAL approach to Bible Code, Avi Norowitz
- Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx
- Re: The LOGICAL approach to Bible Code,
q_q_anonymous
- Re: The LOGICAL approach to Bible Code, Tommy Pedersen
- Re: The LOGICAL approach to Bible Code,
Tommy Pedersen
- hyperspace,
humano
- Re: hyperspace, William Elliot
- A question on Kleene's and other classics,
contradictions . for . all
- Re: A question on Kleene's and other classics, MoeBlee
- Re: A question on Kleene's and other classics, matthias
- Re: A question on Kleene's and other classics, matthias
- Re: A question on Kleene's and other classics,
Peter_Smith
- Re: A question on Kleene's and other classics, contradictions . for . all
- building a "hybrid" and dynamic mathematical space, Alvaro . Castro . Castilla
- logical implication with quantifiers,
Kevin Chill
- Re: logical implication with quantifiers,
MoeBlee
- Re: logical implication with quantifiers,
Patricia Shanahan
- Re: logical implication with quantifiers, G . Frege
- Re: logical implication with quantifiers,
Kevin Chill
- Re: logical implication with quantifiers, MoeBlee
- Re: logical implication with quantifiers, Ken Pledger
- Re: logical implication with quantifiers, Kevin Chill
- Re: logical implication with quantifiers, MoeBlee
- Re: logical implication with quantifiers, Owen
- Re: logical implication with quantifiers, Kevin Chill
- Re: logical implication with quantifiers, G . Frege
- Re: logical implication with quantifiers, Owen
- Re: logical implication with quantifiers,
Patricia Shanahan
- Re: logical implication with quantifiers,
MoeBlee
- What is the intuitive meaning of Goedel's undecidable statement?,
mikeh106
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo
- Message not available
- Re: What is the intuitive meaning of Goedel's undecidable statement?,
george
- Re: What is the intuitive meaning of Goedel's undecidable statement?,
Nam Nguyen
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Barb Knox
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough
- Re: What is the intuitive meaning of Goedel's undecidable statement?,
Nam Nguyen
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Newberry
- <Possible follow-ups>
- What is the intuitive meaning of Goedel's undecidable statement?, mikeh106
- interpolation theorem of propositional logic,
Li Yi
- Re: interpolation theorem of propositional logic,
David C . Ullrich
- Re: interpolation theorem of propositional logic,
Jan Burse
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic, Jan Burse
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic, Jan Burse
- Re: interpolation theorem of propositional logic, Frederick Williams
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic, Jan Burse
- Re: interpolation theorem of propositional logic, Jan Burse
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic, Jan Burse
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic, matthias
- Re: interpolation theorem of propositional logic, Frederick Williams
- Re: interpolation theorem of propositional logic, matthias
- Re: interpolation theorem of propositional logic, David C . Ullrich
- Re: interpolation theorem of propositional logic,
Jan Burse
- Re: interpolation theorem of propositional logic, Frederick Williams
- Re: interpolation theorem of propositional logic,
David C . Ullrich
- compactness implies completeness?,
Li Yi
- Re: compactness implies completeness?, Frederick Williams
- Re: compactness implies completeness?,
Jan Burse
- Re: compactness implies completeness?,
H. J. Sander Bruggink
- Re: compactness implies completeness?, Jan Burse
- Re: compactness implies completeness?,
H. J. Sander Bruggink
- minimum counterexample help,
isaac_2004
- <Possible follow-ups>
- minimum counterexample help, isaac_2004
- minimum counterexample help, isaac_2004
- minimum counterexample help, isaac_2004
- minimum counterexample help, isaac_2004
- Halting Problem (Halting Game) Question, dankirsh
- A Simple "Proof" of Fermat's Last Theorem,
contradictions . for . all
- Re: A Simple "Proof" of Fermat's Last Theorem,
Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem,
Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem,
Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem,
Jan Burse
- Re: A Simple "Proof" of Fermat's Last Theorem,
Jan Burse
- Godel's incompleteness theorem vs Church's/Turings work, falcon
- What kind/type of "argument" is this, HarryTruman
- question about solving proofs through math,
isaac_2004
- Re: question about solving proofs through math,
Barb Knox
- Re: question about solving proofs through math,
isaac_2004
- Re: question about solving proofs through math, The Ghost In The Machine
- Re: question about solving proofs through math, isaac_2004
- Re: question about solving proofs through math, isaac_2004
- Re: question about solving proofs through math,
isaac_2004
- Re: question about solving proofs through math, William Elliot
- Re: question about solving proofs through math,
Barb Knox
- A question about proofs of the Second Incompleteness Theorem.,
kjd_72
- Re: A question about proofs of the Second Incompleteness Theorem.,
Jeff Barnett
- Re: A question about proofs of the Second Incompleteness Theorem.,
Charlie-Boo
- Re: A question about proofs of the Second Incompleteness Theorem., Frederick Williams
- Re: A question about proofs of the Second Incompleteness Theorem., Charlie-Boo
- Re: A question about proofs of the Second Incompleteness Theorem., Pierre Asselin
- Re: A question about proofs of the Second Incompleteness Theorem., kjd_72
- Re: A question about proofs of the Second Incompleteness Theorem.,
Charlie-Boo
- Re: A question about proofs of the Second Incompleteness Theorem.,
Jeff Barnett
- Re: Universal Programming Lanaguage,
Edward Meinert
- Re: Universal Programming Lanaguage, David Kinny
- Is Go"del's Proof Constructive?,
unitset
- Re: Is Go"del's Proof Constructive?, Peter_Smith
- What are Inductive Turing Machines,
juanpool@xxxxxxxxx
- Re: What are Inductive Turing Machines,
juanpool@xxxxxxxxx
- Re: What are Inductive Turing Machines,
Jim
- Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx
- Re: What are Inductive Turing Machines, Jim
- Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx
- Re: What are Inductive Turing Machines,
Jim
- Re: What are Inductive Turing Machines,
juanpool@xxxxxxxxx
- New newsgroup Logic updated daily visit, leeran
- New scinence news group, abukase1
- CHARGE!, NILS BÖRJESSON
- "Countably Well-Ordered" ?,
Bill Taylor
- Re: "Countably Well-Ordered" ?, Patricia Shanahan
- Re: "Countably Well-Ordered" ?, William Elliot
- Re: "Countably Well-Ordered" ?,
David C . Ullrich
- Re: "Countably Well-Ordered" ?,
Herman Jurjus
- Re: "Countably Well-Ordered" ?, David C . Ullrich
- Re: "Countably Well-Ordered" ?, fred . galvin
- Re: "Countably Well-Ordered" ?, David Libert
- Re: "Countably Well-Ordered" ?, David C . Ullrich
- Re: "Countably Well-Ordered" ?, David C . Ullrich
- Re: "Countably Well-Ordered" ?,
Herman Jurjus
- Re: "Countably Well-Ordered" ?, matthias
- Re: "Countably Well-Ordered" ?,
george
- Re: "Countably Well-Ordered" ?, Bill Taylor
- Re: "Countably Well-Ordered" ?, Chris Menzel
- Re: "Countably Well-Ordered" ?, Daryl McCullough
- Re: "Countably Well-Ordered" ?,
Frederick Williams
- Re: "Countably Well-Ordered" ?, Bill Taylor
- A puzzle..., Munsey
- Godel's original proof of completeness, LISP
- Re: Goedel incompl. theorems,
Henrik
- <Possible follow-ups>
- Re: Goedel incompl. theorems,
matthias
- Re: Goedel incompl. theorems,
george
- Re: Goedel incompl. theorems, matthias
- Re: Goedel incompl. theorems,
george
- Want a free video game system,
macdeezy
- Re: Want a free video game system,
Frederick Williams
- Re: Want a free video game system,
Aatu Koskensilta
- Re: Want a free video game system, macdeezy
- Re: Want a free video game system,
Aatu Koskensilta
- Re: Want a free video game system,
Frederick Williams
- Fuzzy logic.,
Starbles
- Re: Fuzzy logic., Herman Jurjus
- Re: Fuzzy logic.,
Colin
- Re: Fuzzy logic., Starbles
- The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic
- A simple cause for complex disease.,
caesarjbsquitti
- Re: A simple cause for complex disease.,
Frederick Williams
- Re: A simple cause for complex disease., caesarjbsquitti
- Re: A simple cause for complex disease.,
Frederick Williams
- [FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger
- Re: FOL theories and models - A "peculiar" situation,
Nam Nguyen
- Re: FOL theories and models - A "peculiar" situation, Bertie Reed
- Re: Possible world semantics,
Barb Knox
- Re: Possible world semantics,
Sundar
- Re: Possible world semantics,
waveletter
- Re: Possible world semantics, Sundar
- Re: Possible world semantics, Chris Menzel
- Re: Possible world semantics,
waveletter
- <Possible follow-ups>
- Re: Possible world semantics, Frederick Williams
- Re: Possible world semantics,
Sundar
