Unexpected Hanging Paradox

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

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

page : ...

2917

more

Robbins Algebra

writer : b.Kolata, G.

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

page : ...

995

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

907

more

عبارة Pros Position

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

الجزء والصفحة : 193

1289

المزيد

Paris-Harrington Theorem

writer : Borwein, J. and Bailey, D

source : Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, 2003.

page : ...

1532

more

Cut Elimination Theorem

writer : Gentzen, G

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

page : ...

1141

more

Recursively Enumerable Set

writer : Davis, M

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

page : ...

1054

more

Gödel Number

writer : Davis, M

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

page : ...

1213

more

Resolution

writer : Abel, R. J. R. and Furino, S. C.

source : "Resolvable and Near Resolvable Designs." §I.6 in The CRC Handbook of Combinatorial Designs (Ed. C. J. Colbourn and J. H. Dinitz). Boca Raton, FL: CRC Press

page : ...

1098

more

Structure

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

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

page : ...

972

more

Line Point Picking

writer : Sloane, N. J. A

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

page : ...

1894

more

Closed Sentential Formula

writer : Carnap, R

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

page : ...

1076

more

Reduction System

writer : Baader, F. and Nipkow, T.

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

page : ...

961

more

Elevator Paradox

writer : Gamow, G. and Stern, M

source : Puzzle Math. New York: Viking, 1958.

page : ...

1721

more

Satisfaction

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

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

page : ...

727

more

Validity

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

source : www.almerja.com

page : ...

1422

more

Unification

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

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

page : ...

1038

more

Herbrand Universe

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

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

page : ...

1325

more