Existence

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

source : www.almerja.com

page : ...

17-1-2022 1351

more

Skolemized Form

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

source : www.almerja.com

page : ...

9-2-2022 1711

more

Herbrand,s Theorem

writer : Ireland, K. and Rosen, M.

source : "Herbrand,s Theorem." §15.3 in A Classical Introduction to Modern Number Theory, 2nd ed. New York: Springer-Verlag,

page : pp. 241-248

24-1-2022 1369

more

Kleene,s s-m-n Theorem

writer : Davis, M

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

page : ...

18-1-2022 1385

more

Grammar

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

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

page : ...

24-1-2022 1419

more

Łoś, Theorem

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

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

page : ...

13-2-2022 1102

more

Confluent

writer : Baader, F. and Nipkow, T.

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

page : ...

22-1-2022 1467

more

Zeno,s Paradoxes

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

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

page : ...

17-2-2022 4671

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 1604

more

Russell,s Antinomy

writer : Curry, H. B.

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

page : ...

17-2-2022 2348

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

8-2-2022 1550

more

Satisfaction

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

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

page : ...

13-2-2022 917

more

Creative Set

writer : Davis, M

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

page : ...

17-1-2022 1240

more

Missing Dollar Paradox

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

source : www.almerja.com

page : ...

15-2-2022 2465

more

Unification

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

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

page : ...

10-2-2022 1356

more

Finitely Terminating

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 964

more

Intuitionistic Logic

writer : Kleene, S. C

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

page : ...

30-1-2022 2047

more

Elevator Paradox

writer : Gamow, G. and Stern, M

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

page : ...

15-2-2022 2035

more