www.Usenet.com
Group Index
__Date Index__
[
__Earlier messages__
]
Sci Thread Archive from Usenet.com
Just the facts, ma'am... (13/16)
,
stoney
cmsg cancel <xesbrqpfyw0.fsf@greeneg-cs.cs.unc.edu>
,
George Greene
who's to stupid to recognise this as more fundamental than a TM
,
|-|erc
G FREGE
,
|-|erc
Never Give Up !
,
taketimetothink
Re: Never Give Up !
,
Barb Knox
Just the facts, ma'am... (8/16)
,
stoney
Structures embedding
,
mail
FAQ Submission
,
|-|erc
logic, triple systems and designs
,
mitch
symmetries of a cube
,
George Greene
quantum mechanics as an attack on classical logic
,
George Greene
symmetries of a cube
,
George Greene
Re: bernadette, this is what gives me hope
,
a.k.a Bruha
Sentence & direct product
,
mail
Re: Sentence & direct product
,
Jeffrey Ketland
Re: Sentence & direct product
,
mail
Re: Sentence & direct product
,
Jeffrey Ketland
What are the constants in the computing sciences?
,
Charlie-Boo
Re: What are the constants in the computing sciences?
,
|-|erc
Re: The God Spots in the Brain
,
Immortalist
Re: The God Spots in the Brain
,
Tim
Re: Written In The Stars
,
Astro Guru
What is abbreviation power?
,
Rupert
Re: What is abbreviation power?
,
Andrew Boucher
[FAQ, 99/07/28] Mathematical logic on the web
,
Boris 'pi' Piwinger
New proof checking software -- HTML preview
,
Dan Christensen
Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
|-|erc
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Chris Menzel
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
Aatu Koskensilta
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
|-|erc
Re: Coming soon -- new proof checking software
,
George Greene
Re: Coming soon -- new proof checking software
,
George Greene
Re: Coming soon -- new proof checking software
,
F . Fritsche
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
|-|erc
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
|-|erc
Re: Coming soon -- new proof checking software
,
|-|erc
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
G . Frege
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
Dan Christensen
Re: Coming soon -- new proof checking software
,
Charlie-Boo
Re: Coming soon -- new proof checking software
,
Dan Christensen
Did you know you can buy land on the moon?
,
Morris
Re: Did you know you can buy land on the moon?
,
William Elliot
Re: Did you know you can buy land on the moon?
,
|-|erc
Re: Did you know you can buy land on the moon?
,
George Cox
Iraq unable to have democracy & why SH needed to be brutal to hold the place together
,
Archimedes Plutonium
Re: Iraq unable to have democracy & why SH needed to be brutal to hold the place together
,
Madhusudan Singh
A logic problem
,
Doraemonsaurus
Re: A logic problem
,
George Cox
Re: A logic problem
,
Chris Jacobs
Re: A logic problem
,
George Cox
Re: A logic problem
,
|-|erc
Re: A logic problem
,
Chris Jacobs
Grice's indicative conditionals -- an interesting theory
,
Davis Howard
Re: Grice's indicative conditionals -- an interesting theory
,
Davis Howard
Re: Grice's indicative conditionals -- an interesting theory
,
Acid Pooh
Re: Grice's indicative conditionals -- an interesting theory
,
Immortalist
logic in stupidity?
,
Shane D. Maudiss
Re: logic in stupidity?
,
William Elliot
KNOT theory defines symbol primitives
,
|-|erc
Re: KNOT theory defines symbol primitives
,
|-|erc
[
__Earlier messages__
]