Zeno,s Paradoxes

writer : Erickson, G. W. and Fossa, J. A

source : Dictionary of Paradox. Lanham, MD: University Press of America

page : ...

3412

more

Intuitionistic Logic

writer : Kleene, S. C

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

page : ...

1578

more

Proof Theory

writer : Birkhoff, G. and Mac Lane, S.

source : A Survey of Modern Algebra, 5th ed. New York: Macmillan

page : ...

1116

more

Universal Algebra

writer : Burris, S. and Sankappanavar, H. P.

source : A Course in Universal Algebra. New York: Springer-Verlag, 1981

page : ...

895

more

Kleene,s Recursion Theorem

writer : Davis, M

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

page : ...

998

more

Horn Clause

writer : Clocksin, W. F. and Mellish, C. S.

source : Programming in Prolog Using the ISO Standard. New York: Springer-Verlag, 1984

page : ...

1456

more

Proof

writer : Aigner, M. and Ziegler, G. M

source : Proofs from the Book. New York: Springer-Verlag, 1999.

page : ...

3006

more

Unification

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

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

page : ...

958

more

Crocodile,s Dilemma

writer : Kleene, S. C

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

page : ...

1367

more

Coastline Paradox

writer : Gleick, J.

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

page : ...

2351

more

Paradox

writer : Ball, W. W. R. and Coxeter, H. S. M

source : Mathematical Recreations and Essays, 13th ed. New York: Dover

page : ...

2843

more

Equivalent

writer : Cajori, F.

source : A History of Mathematical Notations, Vol. 2. New York: Dover

page : ...

1289

more

Liar,s Paradox

writer : Beth, E. W.

source : The Foundations of Mathematics. Amsterdam, Netherlands: North-Holland

page : ...

3193

more

Allais Paradox

writer : Allais, M.

source : "Le comportement de l,homme rationnel devant le risque: Critique des postulats et axiomes de lécole américaine." Econometrica 21

page : ...

1881

more

Connective

writer : Mendelson, E

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

page : ...

734

more

Line Point Picking

writer : Sloane, N. J. A

source : Sequences A115388 and A115389 in "The On-Line Encyclopedia of Integer Sequences."

page : ...

1751

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 : ...

1747

more

Nonstandard Analysis

writer : Albeverio, S.; Fenstad, J.; Hoegh-Krohn, R.; and Lindstrøom, T.

source : Nonstandard Methods in Stochastic Analysis and Mathematical Physics. New York: Academic Press, 1986.

page : ...

1106

more