sci.logic

Thread Index

Re: truth/falsity of sentences in first-order logic
- From: Chris Menzel
Re: Proving invalidity in first-order logic
- From: timvaz_059
Re: Equivalence of fragments of second-order logic
- From: Michael De
Re: truth/falsity of sentences in first-order logic
- From: Charlie-Boo
Re: truth/falsity of sentences in first-order logic
- From: Charlie-Boo
Re: truth/falsity of sentences in first-order logic
- From: Charlie-Boo
Re: truth/falsity of sentences in first-order logic
- From: Chris Menzel
Re: truth/falsity of sentences in first-order logic
- From: H. J. Sander Bruggink
Re: truth/falsity of sentences in first-order logic
- From: H. J. Sander Bruggink
Re: truth/falsity of sentences in first-order logic
- From: Aatu Koskensilta
Proving invalidity in first-order logic
- From: ali_tofigh
Re: Equivalence of fragments of second-order logic
- From: Aatu Koskensilta
Re: Equivalence of fragments of second-order logic
- From: Aatu Koskensilta
Re: truth/falsity of sentences in first-order logic
- From: David C . Ullrich
Re: truth/falsity of sentences in first-order logic
- From: David C . Ullrich
Re: inverse/obverse
- From: waveletter
Equivalence of fragments of second-order logic
- From: Michael De
Re: Peano's Axioms from the Field Axioms alone?
- From: Dan Christensen
Re: truth/falsity of sentences in first-order logic
- From: Chris Menzel
Re: truth/falsity of sentences in first-order logic
- From: Charlie-Boo
Re: Proving induction
- From: Charlie-Boo
Re: Proving induction
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: Dan Christensen
Multiple Natures Conjecture
- From: mobydikc
Re: Proving induction
- From: Charlie-Boo
Re: Proving induction
- From: Charlie-Boo
Re: Axioms for the real numbers
- From: Dan Christensen
Re: truth/falsity of sentences in first-order logic
- From: george
Re: Axioms for the real numbers
- From: george
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
Re: First Order Logic
- From: Bertie Reed
Re: truth/falsity of sentences in first-order logic
- From: William Elliot
Re: truth/falsity of sentences in first-order logic
- From: H. J. Sander Bruggink
Re: truth/falsity of sentences in first-order logic
- From: Nam Nguyen
Re: truth/falsity of sentences in first-order logic
- From: ali_tofigh
Re: truth/falsity of sentences in first-order logic
- From: H. J. Sander Bruggink
Re: truth/falsity of sentences in first-order logic
- From: ali_tofigh
Re: truth/falsity of sentences in first-order logic
- From: H. J. Sander Bruggink
truth/falsity of sentences in first-order logic
- From: ali_tofigh
Re: inverse/obverse
- From: Ken Pledger
Re: Is exponentiation constructive?
- From: Giovanni Lagnese
Re: Is exponentiation constructive?
- From: Giovanni Lagnese
Re: Is exponentiation constructive?
- From: Giovanni Lagnese
Re: Is exponentiation constructive?
- From: thefrenchcody
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: Dan Christensen
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: William Elliot
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: Jan Burse
Re: Peano's Axioms from the Field Axioms alone?
- From: William Elliot
Re: Peano's Axioms from the Field Axioms alone?
- From: Dan Christensen
Is exponentiation constructive?
- From: Giovanni Lagnese
Peano's Axioms from the Field Axioms alone?
- From: Dan Christensen
Re: A Definition of an Algorithm
- From: george
Re: A Definition of an Algorithm
- From: george
Re: Question about Axiom of Separation
- From: agapito6314
Re: Question about Axiom of Separation
- From: agapito6314
Re: Question about Axiom of Separation
- From: Daryl McCullough
Question about Axiom of Separation
- From: agapito6314
Re: Where is the moebius theorem hiding?
- From: ken.quirici@xxxxxxxxxx
Re: Where is the moebius theorem hiding?
- From: Ken Quirici
Where is the moebius theorem hiding?
- From: Ken Quirici
Re: Deductive/Inductive Arguments
- From: William Elliot
Re: Deductive/Inductive Arguments
- From: R. Srinivasan
Re: inverse/obverse
- From: michaelbell
Re: Deductive/Inductive Arguments
- From: William Elliot
Re: inverse/obverse
- From: Ken Pledger
Re: Scientists evolutionary precursers to autistics
- From: Peter Webb
inverse/obverse
- From: michaelbell
Re: Do mathematicians know their axioms?
- From: abo
Re: Do mathematicians know their axioms?
- From: Anders Goeransson
Re: Do mathematicians know their axioms?
- From: abo
Re: Do mathematicians know their axioms?
- From: Anders Goeransson
Re: Do mathematicians know their axioms?
- From: abo
Re: Question to supporters of Intelligent Design
- From: Johannes Werner
Re: Do mathematicians know their axioms?
- From: Anders Goeransson
Re: Question to supporters of Intelligent Design
- From: stoney
Re: Scientists evolutionary precursers to autistics
- From: H. J. Sander Bruggink
Re: Deductive/Inductive Arguments
- From: R. Srinivasan
Re: Question to supporters of Intelligent Design
- From: Arno Nymph
Re: Question to supporters of Intelligent Design
- From: Cheeze
Re: Deductive/Inductive Arguments
- From: William Elliot
Re: Deductive/Inductive Arguments
- From: sradhakr
Please provide me statistical help
- From: sam
Re: Z set theory - predicative or impredicative?
- From: Aatu Koskensilta
Re: Z set theory - predicative or impredicative?
- From: MoeBlee
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: Torkel Franzen
Re: Deductive/Inductive Arguments
- From: William Elliot
Re: Deductive/Inductive Arguments
- From: tjb
Re: Deductive/Inductive Arguments
- From: William Elliot
Deductive/Inductive Arguments
- From: Bill Taylor
Re: Deductive/Inductive Arguments
- From: tjb
Re: Equivalence Laws between logic and arithmetic
- From: Barb Knox
Re: Deductive/Inductive Arguments
- From: William Elliot
Deductive/Inductive Arguments
- From: tjb
Re: Equivalence Laws between logic and arithmetic
- From: Jan Burse
Re: Equivalence Laws between logic and arithmetic
- From: Ken Pledger
Re: Axioms for the real numbers
- From: Nam Nguyen
Re: Axioms for the real numbers
- From: Norman Megill
Re: Axioms for the real numbers
- From: un student
Re: Comparing Proofs of Rosser's 1936 Theorem
- From: David C . Ullrich
Comparing Proofs of Rosser's 1936 Theorem
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Equivalence Laws between logic and arithmetic
- From: Jan Burse
Re: Proving induction
- From: smnewberger
Re: completeness of predicate calculus
- From: Rupert
Re: completeness of predicate calculus
- From: Rupert
Re: Equivalence Laws between logic and arithmetic
- From: ccghzhu
Re: Proving induction
- From: The Ghost In The Machine
Re: completeness of predicate calculus
- From: george
Proving induction
- From: LordBeotian
Re: Equivalence Laws between logic and arithmetic
- From: William Elliot
Equivalence Laws between logic and arithmetic
- From: studylogic06
Re: Z set theory - predicative or impredicative?
- From: Aatu Koskensilta
Re: Can p implies q be drawn in a venn diagram?
- From: gaya . patel
Re: Can p implies q be drawn in a venn diagram?
- From: William Elliot
Can p implies q be drawn in a venn diagram?
- From: gaya . patel
Z set theory - predicative or impredicative?
- From: MoeBlee
Re: PROOF THAT THERE ARE AN INFINITY OF PRIMES!!!!!!!!!!!!!!
- From: asimpleton
Re: completeness of predicate calculus
- From: Chris Menzel
Re: completeness of predicate calculus
- From: Chris Menzel
Re: completeness of predicate calculus
- From: Daryl McCullough
Re: completeness of predicate calculus
- From: Aatu Koskensilta
Re: completeness of predicate calculus
- From: markwh04
Re: The tluth
- From: Aatu Koskensilta
PROOF THAT THERE ARE AN INFINITY OF PRIMES!!!!!!!!!!!!!!
- From: NILS B�RJESSON
Re: The tluth
- From: Aatu Koskensilta
The tluth
- From: Aatu Koskensilta
Can someone give me an example of a recursively generable bounded sequence...
- From: Giovanni Lagnese
Re: Choice Question # 2
- From: Chris Menzel
Order of the complex numbers and its consequences
- From: Carloman
Re: Which logic?
- From: Aatu Koskensilta
Re: Choice Question # 2
- From: Charlie-Boo
Re: Is it a logical fallacy to change position?
- From: William Elliot
Re: Choice Question # 2
- From: Chris Menzel
Is it a logical fallacy to change position?
- From: gregl
Re: completeness of predicate calculus
- From: george
Re: Choice Question # 2
- From: Charlie-Boo
Re: Which logic?
- From: poopdeville
Re: propsitional calculs vs. propositional logic
- From: poopdeville
Re: mathematical proofs? logical statements or not?
- From: poopdeville
Re: completeness of predicate calculus
- From: Chris Menzel
Re: completeness of predicate calculus
- From: falcon
Re: UPPER-BOUND FOR THE NUMBER OF POSITIONS IN CHESS!!!!!
- From: Harris
Re: propsitional calculs vs. propositional logic
- From: Torkel Franzen
Re: mathematical proofs? logical statements or not?
- From: LordBeotian
propsitional calculs vs. propositional logic
- From: logicstudy06
Re: Which logic?
- From: Mark-T
Re: Choice Question # 2
- From: Chris Menzel
Re: Choice Question # 2
- From: Charlie-Boo
Re: names for kinds of completeness
- From: Aatu Koskensilta
Re: mathematical proofs? logical statements or not?
- From: gaya . patel
Re: mathematical proofs? logical statements or not?
- From: LordBeotian
UPPER-BOUND FOR THE NUMBER OF POSITIONS IN CHESS!!!!!
- From: NILS B�RJESSON
Re: what syntactic role does the expression f:A->B play?
- From: george
names for kinds of completeness
- From: george
Re: review of Goldstein's book on Godel
- From: Jan Burse
Re: review of Goldstein's book on Godel
- From: Paul Holbach
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: CH yet again.
- From: Robert E. Beaudoin
mathematical proofs? logical statements or not?
- From: gaya . patel
Re: completeness of predicate calculus
- From: Barb Knox
Re: completeness of predicate calculus
- From: Paul Holbach
Re: completeness of predicate calculus
- From: Rupert
Re: completeness of predicate calculus
- From: markwh04
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: CH yet again.
- From: Aatu Koskensilta
review of Goldstein's book on Godel
- From: m s
Re: completeness of predicate calculus
- From: Rupert
Re: CH yet again.
- From: Keith Ramsay
Re: Looking for further studies on logic
- From: adamgolding
completeness of predicate calculus
- From: falcon
Re: Dear platonists, dear realists for natural numbers...
- From: george
Re: CH yet again.
- From: george
Re: Dear platonists, dear realists for natural numbers...
- From: george
Re: what syntactic role does the expression f:A->B play?
- From: MoeBlee
computability and logic; proving decidability
- From: Per Freem
Re: Which logic?
- From: Aatu Koskensilta
Re: [new version] Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: [new version] Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: [new version] Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Re: Which logic?
- From: Mark-T
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Re: this should be easy but..
- From: William Elliot
Re: this should be easy but..
- From: adamgolding
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: adamgolding
Re: Dear platonists, dear realists for natural numbers...
- From: Pierre Asselin
Re: what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: [new version] Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: what syntactic role does the expression f:A->B play?
- From: george
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Torkel Franzen
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: Dear platonists, dear realists for natural numbers...
- From: Aatu Koskensilta
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Dear platonists, dear realists for natural numbers...
- From: Bill Taylor
CH yet again.
- From: Bill Taylor
Re: what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: what syntactic role does the expression f:A->B play?
- From: William Elliot
Re: this should be easy but..
- From: William Elliot
what syntactic role does the expression f:A->B play?
- From: adamgolding
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: adamgolding
Re: this should be easy but..
- From: adamgolding
Re: Dear platonists, dear realists for natural numbers...
- From: Barb Knox
Re: <=> same as <-> ?
- From: gaya . patel
Re: <=> same as <-> ?
- From: gaya . patel
Dear platonists, dear realists for natural numbers...
- From: Giovanni Lagnese
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: William Elliot
Re: this should be easy but..
- From: adamgolding
Re: this should be easy but..
- From: adamgolding
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: G . Frege
Re: this should be easy but..
- From: William Elliot
Re: Necessary but not sufficient
- From: Tim
Re: this should be easy but..
- From: adamgolding
Re: this should be easy but..
- From: Chris Menzel
Re: Necessary but not sufficient
- From: Roman
Re: Necessary but not sufficient
- From: Arturo Magidin
Re: CH yet again.
- From: Keith Ramsay
Necessary but not sufficient
- From: H.
Re: this should be easy but..
- From: William Elliot
this should be easy but..
- From: adamgolding
Re: question about Godel numbers
- From: Rupert
Re: Choice Question # 2
- From: Chris Menzel
Re: CH yet again.
- From: Robert E. Beaudoin
Re: Where is the error?
- From: Jan Burse
Re: Which logic?
- From: george
Re: question about Godel numbers
- From: Per Freem
Re: Question about set definition
- From: agapito6314
Re: Where is the error?
- From: Torkel Franzen
Re: Where is the error?
- From: Daryl McCullough
Re: Where is the error?
- From: Daryl McCullough
Re: Where is the error?
- From: Jan Burse
Re: Choice Question # 2
- From: David C . Ullrich
Re: Where is the error?
- From: Torkel Franzen
Re: Where is the error?
- From: Torkel Franzen
Re: Which logic?
- From: Aatu Koskensilta
Re: Where is the error?
- From: Jan Burse
Re: Where is the error?
- From: Jan Burse
Re: Which logic?
- From: Mark-T
Re: Where is the error?
- From: Torkel Franzen
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Charlie-Boo
Re: Looking for further studies on logic
- From: waveletter
Re: Looking for further studies on logic
- From: waveletter
Re: Question about set definition
- From: Owen
Re: Choice Question # 2
- From: Chris Menzel
Re: Question about set definition
- From: agapito6314
Re: Choice Question # 2
- From: Jan Burse
Re: CH yet again.
- From: Aatu Koskensilta
Chemical imbalances: A possible treatment.
- From: caesarjbsquitti
Re: Choice Question # 2
- From: Charlie-Boo
Re: Choice Question # 2
- From: Daryl McCullough
Re: CH yet again.
- From: george
Re: Choice Question # 2
- From: Jan Burse
Re: Where is the error?
- From: Jan Burse
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Question about set definition
- From: MoeBlee
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: David C . Ullrich
Re: Where is the error?
- From: Jan Burse
Re: Question about set definition
- From: Owen
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Torkel Franzen
Re: CH yet again.
- From: Keith Ramsay
Re: Where is the error?
- From: Jan Burse
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Keith Ramsay
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Charlie-Boo
Re: Which logic?
- From: Rupert
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Jan Burse
Re: Question about set definition
- From: MoeBlee
Re: Question about set definition
- From: Owen
Re: Question about set definition
- From: MoeBlee
Re: Question about set definition
- From: Owen
Re: Question about set definition
- From: agapito6314
Re: Choice Question # 2
- From: David C . Ullrich
Re: A new geometry (in Klein's sense)?
- From: Giovanni Lagnese
Re: Choice Question # 2
- From: Norman Megill
Re: incompleteness of first-order logic
- From: Bertie Reed
Re: Choice Question # 2
- From: Jan Burse
Re: Choice Question # 2
- From: Jan Burse
Re: Choice Question # 2
- From: Jan Burse
Re: Question about set definition
- From: Owen
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Jan Burse
Re: Where is the error?
- From: Torkel Franzen
Re: A new geometry (in Klein's sense)?
- From: William Elliot
Re: A new geometry (in Klein's sense)?
- From: Giovanni Lagnese
Re: A new geometry (in Klein's sense)?
- From: William Elliot
Which logic?
- From: Mark-T
Re: There is no language of arithmetic
- From: G . Frege
Re: question about Godel numbers
- From: Rupert
Re: Where is the error?
- From: Charlie-Boo
question about Godel numbers
- From: Per Freem
Re: Question about set definition
- From: Barb Knox
Re: Where is the error?
- From: Daryl McCullough
Re: Question about set definition
- From: agapito6314
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Question about set definition
- From: agapito6314
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Jan Burse
Re: Choice Question # 2
- From: Jan Burse
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Jan Burse
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: There is no language of arithmetic
- From: MoeBlee
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Alan Smaill
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
A new geometry (in Klein's sense)?
- From: Giovanni Lagnese
Re: Where is the error?
- From: Torkel Franzen
Re: Where is the error?
- From: Jan Burse
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Jan Burse
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Alan Smaill
Re: Where is the error?
- From: Torkel Franzen
Re: Where is the error?
- From: H. J. Sander Bruggink
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Daryl McCullough
Re: Where is the error?
- From: Charlie-Boo
Re: Where is the error?
- From: Jan Burse
Beauty is a relactionship
- From: Roberto Vescarelli
Re: Where is the error?
- From: Alan Smaill
Re: Where is the error?
- From: Aatu Koskensilta
Re: There is no language of arithmetic
- From: Nam Nguyen
Re: There is no language of arithmetic
- From: Jan Burse
Re: There is no language of arithmetic
- From: Jan Burse
Re: Choice Question # 2
- From: Jan Burse
Re: Choice Question # 2
- From: Jan Burse
Re: Choice Question # 2
- From: Chris Menzel
Re: <=> same as <-> ?
- From: Owen
Re: Choice Question # 2
- From: Barb Knox
Re: Choice Question # 2
- From: Daryl McCullough
Re: Choice Question # 2
- From: Norman Megill
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: Choice Question # 2
- From: Charlie-Boo
Re: Where is the error?
- From: Charlie-Boo
Re: Question about set definition
- From: Owen
Re: Constructivist help, please
- From: andrew
Re: Constructivist help, please
- From: andrew
Re: Constructivist help, please
- From: H. J. Sander Bruggink
Re: Constructivist help, please
- From: H. J. Sander Bruggink
Re: Constructivist help, please
- From: andrew
Re: Choice Question # 2
- From: David C . Ullrich
Re: Constructivist help, please
- From: H. J. Sander Bruggink
Constructivist help, please
- From: andrew
Re: <=> same as <-> ?
- From: H. J. Sander Bruggink
Re: Where is the error?
- From: H. J. Sander Bruggink
Re: Question about set definition
- From: William Elliot
Re: Where is the error?
- From: Torkel Franzen
Re: Choice Question # 2
- From: Norman Megill
Re: Choice Question # 2
- From: Chris Menzel
Re: <=> same as <-> ?
- From: gaya . patel
[FAQ, 99/07/28] Mathematical logic on the web
- From: Boris 'pi' Piwinger