Robbins Axiom

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

1267

more

Existence

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

1134

more

Closed Sentential Formula

writer : Carnap, R

source : Introduction to Symbolic Logic and Its Applications. New York: Dover, 1958.

page : ...

1065

more

Coastline Paradox

writer : Gleick, J.

source : Chaos: Making a New Science. New York: Penguin Books

page : ...

2522

more

Missing Dollar Paradox

writer : المرجع الالكتروني للمعلوماتيه

source : www.almerja.com

page : ...

1779

more

Equational Logic

writer : Baader, F. and Nipkow, T

source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

page : ...

870

more

Gödel,s First Incompleteness Theorem

writer : Barrow, J. D

source : Pi in the Sky: Counting, Thinking, and Being. Oxford, England: Clarendon Press

page : ...

1631

more

Banach-Tarski Paradox

writer : Banach, S. and Tarski, A.

source : Sur la décomposition des ensembles de points en parties respectivement congruentes." Fund. Math. 6

page : ...

2136

more

Interpretation

writer : Chang, C.-L. and Lee, R. C.-T

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

1263

more

Prenex Normal Form

writer : Chang, C.-L. and Lee, R. C.-T.

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

1011

more

Robbins Algebra

writer : b.Kolata, G.

source : Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.

page : ...

988

more

Enlargement

writer : Gehrke, M.; Kaiser, K.; and Insall, M.

source : "Some Nonstandard Methods Applied to Distributive Lattices." Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik 36

page : ...

2136

more

Finitely Terminating

writer : Baader, F. and Nipkow, T

source : Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

page : ...

781

more

Simpson,s Paradox

writer : Good, I. J. and Mittal, Y.

source : The Amalgamation and Geometry of Two-by-Two Contingency Tables." Ann. Stat. 15

page : ...

3047

more

Conjunctive Normal Form

writer : Mendelson, E

source : Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall

page : p. 30

1155

more

Structure Homomorphism

writer : Bell, J. L. and Slomson, A. B

source : Models and Ultraproducts: an Introduction. Amsterdam, Netherlands: North-Holland, 1971.

page : ...

1295

more

Crocodile,s Dilemma

writer : Kleene, S. C

source : Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

1497

more

Kleene,s Recursion Theorem

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.

page : ...

1049

more