Deduction Theorem

writer : Kleene, S. C

source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

1315

more

Cut Elimination Theorem

writer : Gentzen, G

source : The Collected Papers of Gerhard Gentzen (Ed. M. E. Szabo). Amsterdam, Netherlands: North-Holland, 1969.

page : ...

1091

more

Implies

writer : Carnap, R

source : Introduction to Symbolic Logic and Its Applications. New York: Dover, p. 8, 1958.Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.

page : ...

1301

more

Crocodile,s Dilemma

writer : Kleene, S. C

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

page : ...

1364

more

Analysis

writer : Bottazzini, U

source : The "Higher Calculus": A History of Real and Complex Analysis from Euler to Weierstrass. New York: Springer-Verlag, 1986.

page : ...

839

more

Regular Expression

writer : Aho, A. V. and Ullman J. D

source : Theory of Parsing, Translation and Compiling, Vol. 1. Englewood Cliffs, NJ: Prentice Hall, 1972.

page : ...

1136

more

Interpretation

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

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

page : ...

1216

more

Validity

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

source : www.almerja.com

page : ...

1362

more

Connective

writer : Mendelson, E

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

page : ...

733

more

arski,s Theorem

writer : Collins, G. E

source : "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition." In Proc. 2nd GI Conf. Automata Theory and Formal Languages. New York: Springer-Verlag

page : ...

1061

more

Russell,s Antinomy

writer : Curry, H. B.

source : Foundations of Mathematical Logic, 2nd rev. ed. New York: Dover,

page : ...

1601

more

Fuzzy Logic

writer : Zadeh, L. and Kacprzyk, J.

source : Fuzzy Logic for the Management of Uncertainty. New York: Wiley, 1992.

page : ...

1300

more

Coastline Paradox

writer : Gleick, J.

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

page : ...

2344

more

mu-Operator

writer : Mendelson, E

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

page : ...

869

more

Lemma

writer : Hoffman, P.

source : The Man Who Loved Only Numbers: The Story of Paul Erdős and the Search for Mathematical Truth. New York: Hyperion, 1998.

page : ...

1744

more

Karnaugh Map

writer : Booth, T

source : Digital Networks and Computer Systems. New York: Wiley

page : ...

1994

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

source : "The Wheel of Aristotle." Math. Teacher 65

page : ...

1253

more

Creative Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002

page : ...

937

more