Page 3 of 5 • 233 total threads
Discussion Threads in sci.logic
233 threads • Page 3 of 5| Thread Subject | Last Message |
|---|---|
|
Re: Impredicativity - was: Russell's Paradox
By: David Gudeman on Thu, 05 Nov 1992 21:05 |
34 Years ago
2 replies |
|
Re: Impredicativity - was: Russell's Paradox
By: David Gudeman on Sat, 07 Nov 1992 03:48 |
34 Years ago
0 replies |
|
Re:Are all crows black?
By: skumar on Fri, 30 Oct 1992 21:24 |
34 Years ago
8 replies |
|
Re: Impredicativity - was: Russell's Paradox
By: Bill Taylor on Thu, 05 Nov 1992 02:27 |
34 Years ago
7 replies |
|
Re: Impredicativity - was: Russell's Paradox
By: Bill Taylor on Wed, 04 Nov 1992 03:16 |
34 Years ago
6 replies |
|
FINAL REMINDER/JICSLP '92
By: Dawn Vance on Thu, 05 Nov 1992 15:45 |
34 Years ago
0 replies |
|
CfP: KGC'93 LaTeX version (correction)
By: Richard Zach on Wed, 04 Nov 1992 11:10 |
34 Years ago
0 replies |
|
CfP: KGC'93 (correction)
By: Richard Zach on Wed, 04 Nov 1992 11:07 |
34 Years ago
0 replies |
|
Inequalities for Fermat's last theorem
By: hporopudas on Thu, 29 Oct 1992 07:31 |
34 Years ago
4 replies |
|
UCLA Logic Colloquium, Nov 13
By: H. Enderton on Tue, 03 Nov 1992 17:38 |
34 Years ago
0 replies |
|
Impredicativity - was: Russell's Paradox.
By: Bill Taylor on Sun, 01 Nov 1992 23:58 |
34 Years ago
8 replies |
|
CfP: AMAST'93 (update, latex)
By: Giuseppe Scollo on Tue, 03 Nov 1992 00:44 |
34 Years ago
0 replies |
|
CfP: AMAST'93 (update, plain text)
By: Giuseppe Scollo on Tue, 03 Nov 1992 00:22 |
34 Years ago
0 replies |
|
Re: Impredicativity - was: Russell's Paradox.
By: David Gudeman on Mon, 02 Nov 1992 03:58 |
34 Years ago
0 replies |
|
Re: Russell's Paradox
By: David Gudeman on Sat, 31 Oct 1992 19:57 |
34 Years ago
0 replies |
|
Re: Are all crows black?
By: Daryl McCullough on Thu, 29 Oct 1992 18:54 |
34 Years ago
0 replies |
|
Inequalities for z in Fermat's last theorem ?
By: hporopudas on Wed, 28 Oct 1992 14:17 |
34 Years ago
1 replies |
|
Tarskian reference?
By: Aaron Watters on Wed, 28 Oct 1992 18:04 |
34 Years ago
0 replies |
|
Midwest Model Theory Meeting 1992
By: Adam H. Lewenberg on Tue, 27 Oct 1992 21:55 |
34 Years ago
0 replies |
|
A --> B simple explanation
By: hefors on Tue, 27 Oct 1992 09:13 |
34 Years ago
0 replies |
|
A only if B
By: Risto Kaivola on Mon, 12 Oct 1992 15:07 |
34 Years 1 Month ago
13 replies |
|
ISMIS'93 CFP
By: Jan Komorowski on Fri, 16 Oct 1992 10:20 |
34 Years 1 Month ago
0 replies |
|
Shoham's work
By: Marcos Cavalcanti on Thu, 15 Oct 1992 16:32 |
34 Years 1 Month ago
0 replies |
|
CfP: Computational Logic and Proof Theory (LaTeX)
By: Richard Zach on Thu, 15 Oct 1992 16:13 |
34 Years 1 Month ago
0 replies |
|
CfP: Computational Logic and Proof Theory
By: Richard Zach on Thu, 15 Oct 1992 16:11 |
34 Years 1 Month ago
0 replies |
|
"A only if B" vs "A if and only if B"
By: Robert A. G. Seely on Tue, 13 Oct 1992 22:45 |
34 Years 1 Month ago
1 replies |
|
Re: A only if B
By: JONATHAN SELDIN on Tue, 13 Oct 1992 18:07 |
34 Years 1 Month ago
3 replies |
|
Kurt Goedel Society: EMailing List
By: Richard Zach on Sun, 11 Oct 1992 17:33 |
34 Years 1 Month ago
0 replies |
|
Kurt Goedel Society: Membership
By: Richard Zach on Sun, 11 Oct 1992 17:30 |
34 Years 1 Month ago
0 replies |
|
ANNOUNCING: New Graduate Program in Architecture+Art+Technology
By: Marcos Novak on Sat, 10 Oct 1992 03:28 |
34 Years 1 Month ago
0 replies |
|
Re: The Mathematical Universe
By: Michael Hand on Fri, 09 Oct 1992 21:28 |
34 Years 1 Month ago
0 replies |
|
Half volume of JSL up for grabs
By: Adam H. Lewenberg on Fri, 09 Oct 1992 14:22 |
34 Years 1 Month ago
0 replies |
|
Kreisel Lacombe Shoenfield and HEO
By: loader on Thu, 08 Oct 1992 14:15 |
34 Years 1 Month ago
0 replies |
|
Postdoctoral & Honours level positions avaiable in Brisbane.
By: Sue Harris on Thu, 08 Oct 1992 06:22 |
34 Years 1 Month ago
0 replies |
|
John Etchemendy
By: Marko Amnell on Wed, 07 Oct 1992 06:58 |
34 Years 1 Month ago
1 replies |
|
A question in Recursion Theory
By: roberto riccard chinnici on Tue, 29 Sep 1992 16:10 |
34 Years 1 Month ago
11 replies |
|
Ideals and filters
By: Antoni Diller on Wed, 07 Oct 1992 09:45 |
34 Years 1 Month ago
1 replies |
|
Re: A set cannot contain itself as a member
By: Michael Hand on Wed, 07 Oct 1992 01:17 |
34 Years 1 Month ago
0 replies |
|
Difficulty of Presburger over the reals
By: Bill Pugh on Tue, 06 Oct 1992 22:26 |
34 Years 1 Month ago
0 replies |
|
Church's Heresy and the Unsolveability of chess
By: Mark on Tue, 06 Oct 1992 03:29 |
34 Years 1 Month ago
2 replies |
|
UCLA Logic Colloquium, Oct 16
By: H. Enderton on Tue, 06 Oct 1992 17:23 |
34 Years 1 Month ago
0 replies |
|
Re: A set cannot contain itself as a member
By: David Gudeman on Tue, 06 Oct 1992 08:23 |
34 Years 1 Month ago
0 replies |
|
Textbooks for Set Theory and Logic
By: Jan Chomicki on Thu, 01 Oct 1992 20:13 |
34 Years 1 Month ago
2 replies |
|
Reply for Peter Vafeades.(chess solvability)
By: Bill Taylor on Fri, 02 Oct 1992 00:56 |
34 Years 1 Month ago
0 replies |
|
ISSAC'93 Call for Paper
By: Andrei Voronkov on Thu, 01 Oct 1992 14:20 |
34 Years 1 Month ago
0 replies |
|
Re: "Solvability" (long & pedantic)
By: David Gudeman on Wed, 30 Sep 1992 18:41 |
34 Years 1 Month ago
0 replies |
|
Re: "Solvability" (long & pedantic)
By: David Gudeman on Tue, 29 Sep 1992 07:11 |
34 Years 1 Month ago
2 replies |
|
One or many universes
By: maj on Tue, 29 Sep 1992 21:16 |
34 Years 1 Month ago
0 replies |
|
Logic Textbooks
By: Richard Zach on Tue, 29 Sep 1992 19:31 |
34 Years 1 Month ago
0 replies |
|
Logic Programming
By: Robert I. Benett on Tue, 29 Sep 1992 02:19 |
34 Years 1 Month ago
0 replies |
Page 3 of 5 • 233 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view