sci.logic
- fourier transformation and distributions,
gilraen
- Q: equality elemination,
Nils
- Finite/infinite models,
lacrimosalundin
- compactness theorem confusion,
Snis Pilbor
- Practical Application of the "Liar's Paradox",
jerry kraus
- Re: Contingent Things,
Jesse F. Hughes
- axioms of mathematical logic,
itaj
- Possibility of the Empty World,
Paul Holbach
- How to enumerate this subset of the assignment functions for a formula?,
malsburg
- Re: Do reals really have to be genuine numbers?,
R. Srinivasan
- A less than familiar mathematics?,
John Jones
- Neural Networks and Formal Systems,
LauLuna
- Shoenfield 5.2e,
mmweiss
- SIPTA Newsletter Announcement - New issue,
Alessandro Antonucci
- Existence : A Chinese Perspective,
jerry kraus
- Our Heavenly Father on 11-22-05 at 12:47 P.M.,
cattheon
- If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Peter_Smith
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Jack Campin - bogus address
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Confutus
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Daryl McCullough
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Keith Ramsay
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Daryl McCullough
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
R. Srinivasan
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
lugita15
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
lugita15
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Newberry
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
lugita15
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
lugita15
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
Frederick Williams
- Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable,
george
- Property of recursive set,
Atreides
- IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
LauLuna
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
aatu . koskensilta
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
abo
- Message not available
- Message not available
- Message not available
- Message not available
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
abo
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
abo
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
- Message not available
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
abo
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
abo
- Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Aatu Koskensilta
Re: IS THERE AN INEXHAUSTIBILITY PHENOMENON?,
Peter_Smith
Re: CBL (The system your professor doesn't want you to see.),
george
Queue,
John Jones
Goedel's formula made simple,
Newberry
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
Newberry
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
Newberry
- Re: Goedel's formula made simple,
zzbunker@xxxxxxxxxxxx
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
zzbunker@xxxxxxxxxxxx
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
zzbunker@xxxxxxxxxxxx
- Re: Goedel's formula made simple,
lugita15
- Re: Goedel's formula made simple,
zzbunker@xxxxxxxxxxxx
- Re: Goedel's formula made simple,
lugita15
MOMENTARIAN "New" Google Beta Group,
Nick
Re: Is the Halting Problem merely an ill-formed question?,
george
A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
Rupert
- Re: A few questions about formal systems,
Peter_Smith
- Re: A few questions about formal systems,
lugita15
- Re: A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
lugita15
- Re: A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
Peter_Smith
- Re: A few questions about formal systems,
lugita15
- Re: A few questions about formal systems,
lugita15
- Re: A few questions about formal systems,
Peter_Smith
- Re: A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
Peter_Smith
- Re: A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
Newberry
- Re: A few questions about formal systems,
lugita15
- Re: A few questions about formal systems,
abo
context free grammars and ambiguity,
Per Freem
Re: Bias against unintelligent people,
Jesse F. Hughes
Re: Proper class.Proper class ?,
george
Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Charlie-Boo
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.,
Charlie-Boo
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Peter_Smith
- Re: Request for Reference/Link to example of defining a theory/logic.,
Charlie-Boo
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
- Re: Request for Reference/Link to example of defining a theory/logic.,
Scott
Prove that function is not primitive recursive.,
Atreides
Re: Infinity Again,
Tonico
Problem Solving Textbook,
cjkogan111
problems-solutions,
S.L.
Real mathematics vs FOL,
biubo
Generalized PMI proof,
HGL
johnreed take 1A - Modified October 18, 2006,
johnlawrencereedjr
Re: Axiomatization of Ordinal Arithmetic,
Charlie-Boo
texts for minimal logic,
translogi@xxxxxxxxxxxxxx
Intuitionistic troubles...,
translogi@xxxxxxxxxxxxxx
Absolutely undecidable statements,
Rupert
Henkin models,
Rupert
The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Rupert
- Re: The Gordian knot,
Henrik
- Re: The Gordian knot,
The Ghost In The Machine
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
The Ghost In The Machine
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
The Ghost In The Machine
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
The Ghost In The Machine
- Re: The Gordian knot,
Henrik
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Henrik
- Re: The Gordian knot,
John Jones
- Re: The Gordian knot,
Henrik
- Re: The Gordian knot,
John Jones
- SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
John Jones
- Re: SING UP everyone! ~ 'Oold man ribber, dat oold man ribber ~ he jus' keep a-rollin' aloonngg!',
The Ghost In The Machine
fallacy of (denying hypothesis)/(affirming conclusion),
gaya . patel
Re: We, as Scientists must show tolerance to opposite views,
Phil Carmody
call anywhere free and talk usefull topiks,
singh . xx . pawan
to Record Human Dreams,
jaggusid
Simple Question regarding Simply Typed Lambda Calculus,
Debajit Adhikary
every formula is a logical consequence of its univeral closure.,
speechweb
incompleteness and inconsistency,
Per Freem
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
aatu . koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
george
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Chris Menzel
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
aatu . koskensilta
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
george
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
aatu . koskensilta
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
george
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Peter_Smith
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
lugita15
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Nam Nguyen
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Per Freem
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Newberry
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Newberry
- Re: incompleteness and inconsistency,
Rupert
- Re: incompleteness and inconsistency,
Charlie-Boo
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
MoeBlee
- Re: incompleteness and inconsistency,
Per Freem
- Re: incompleteness and inconsistency,
abo
- Re: incompleteness and inconsistency,
Aatu Koskensilta
- Re: incompleteness and inconsistency,
george
- Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
- Re: Is FLT in the language of PA?,
george
- Re: Is FLT in the language of PA?,
Rupert
Re: Question about Quine's New Foundations,
Aatu Koskensilta
- <Possible follow-ups>
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
Aatu Koskensilta
- Re: Question about Quine's New Foundations,
lugita15
- Re: Question about Quine's New Foundations,
aatu . koskensilta
Nameless critics on the Internet and critical analysis of Einstein’s E=mc2,
physicsajay
Flavor of linear logic corresponding to symmetric monoidal categories with duals?,
metaweta
[FAQ, 99/07/28] Mathematical logic on the web,
Boris 'pi' Piwinger
Axioms & quantification,
bluelabel
- Re: Axioms & quantification,
Frederick Williams
- Re: Axioms & quantification,
bluelabel
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
bluelabel
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
bluelabel
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
Frederick Williams
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
Frederick Williams
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
Chris Menzel
- Re: Axioms & quantification,
MoeBlee
- Re: Axioms & quantification,
Chris Menzel
- Re: Axioms & quantification,
MoeBlee
Smallest relation satisfying the following...,
frob
Re: The L3 Revolution,
Confutus
Gödel's modal proof that there is something,
Dunk
Re: how to define Thm in PRA,
george
Re: On Ultrafinitism,
glennlieding
Re: BEING AND EXISTENCE,
Owen
