Axiom Schema

المؤلف : Kleene, S. C

المصدر : Mathematical Logic. New York: Dover, 2002.

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

20-2-2022

المزيد

Skolem Function

المؤلف : Chang, C.-L. and Lee, R. C.-T.

المصدر : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

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

9-2-2022

المزيد

Axiom Schema

المؤلف : Kleene, S. C

المصدر : Mathematical Logic. New York: Dover, 2002.

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

22-1-2022

المزيد

Recursively Undecidable

المؤلف : Davis, M.

المصدر : Computability and Unsolvability. New York: Dover 1982.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

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

20-1-2022

المزيد

Productive Set

المؤلف : Davis, M

المصدر : 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.

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

20-1-2022

المزيد