Rice,s Theorem

writer : Davis, M

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

page : ...

20-1-2022 1346

more

Equational Logic

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 1056

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

8-2-2022 1243

more

Missing Dollar Paradox

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

source : www.almerja.com

page : ...

15-2-2022 2247

more

عبارة Pros Position

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

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

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

18-11-2015 1472

المزيد

Newcomb,s Paradox

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

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

page : ...

15-2-2022 2055

more

Elevator Paradox

writer : Gamow, G. and Stern, M

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

page : ...

15-2-2022 1947

more

Skolemized Form

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

source : www.almerja.com

page : ...

9-2-2022 1571

more

Goodstein Sequence

writer : Borwein, J. and Bailey, D

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

page : ...

18-1-2022 1497

more

Game of Logic

writer : Carroll, L

source : Symbolic Logic/Game of Logic: Mathematical Recreations of Lewis Carroll, 2 Books Bound As 1. New York: Dover, 1972.

page : ...

24-1-2022 1505

more

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

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

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

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

29-11-2015 4961

المزيد

Bottle Imp Paradox

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

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

page : ...

14-2-2022 1476

more

Paradox

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

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

page : ...

15-2-2022 3598

more

Decision Problem

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

source : www.almerja.com

page : ...

17-1-2022 1311

more

Skolem Function

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

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

page : ...

9-2-2022 1436

more

Conjunctive Normal Form

writer : Mendelson, E

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

page : p. 30

22-1-2022 1293

more

Cap

writer : Feller, W

source : An Introduction to Probability Theory and Its Applications, Vol. 2, 3rd ed. New York: Wiley

page : ...

12-2-2022 1258

more

Closed Sentential Formula

writer : Carnap, R

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

page : ...

22-1-2022 1275

more