Complex Number Paradox

writer : Eves, H

source : An Introduction to the History of Mathematics, 3rd ed. New York: Holt, Rinehart, and Winston

page : ...

1499

more

Combinator

writer : Barendregt, H. P

source : The Lambda Calculus. Amsterdam, Netherlands: North-Holland, 1981.

page : ...

2234

more

Strange Loop

writer : Escher, M. C

source : "Ascending and Descending." Lithograph. 1960.

page : ...

1549

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

1088

more

المنطق الرياضي Mathematical Logic

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

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

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

4399

المزيد

Productive Set

writer : Davis, M

source : Computability and Unsolvability. New York: Dover, 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.Rogers, H. Theory of Recursive Functions and Effective Computability. Cambridge, MA: MIT Press, 1987.

page : ...

1205

more

Closed Sentential Formula

writer : Carnap, R

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

page : ...

980

more

Poretsky,s Law

writer : Hall, F. M.

source : An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press, p. 50, 1972.

page : ...

1117

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

1276

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

1272

more

Structure

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

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

page : ...

901

more

Interpretation

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

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

page : ...

1206

more

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

1362

more

Sorites Paradox

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

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

page : pp. 196-199

1748

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

1515

more

Axiom Schema

writer : Kleene, S. C

source : Mathematical Logic. New York: Dover, 2002.

page : ...

1033

more

Kleene,s s-m-n Theorem

writer : Davis, M

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

page : ...

1063

more

Unification

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

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

page : ...

948

more