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

1076

more

Critical Pair

writer : Baader, F. and Nipkow, T

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

page : ...

963

more

Complex Number Paradox

writer : Eves, H

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

page : ...

1603

more

mu-Operator

writer : Mendelson, E

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

page : ...

1020

more

Universal Algebra

writer : Burris, S. and Sankappanavar, H. P.

source : A Course in Universal Algebra. New York: Springer-Verlag, 1981

page : ...

927

more

Reduction Order

writer : Baader, F. and Nipkow, T

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

page : ...

811

more

Structure Homomorphism

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

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

page : ...

1297

more

Kleene,s Recursion Theorem

writer : Davis, M

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

page : ...

1051

more

Proof

writer : Aigner, M. and Ziegler, G. M

source : Proofs from the Book. New York: Springer-Verlag, 1999.

page : ...

3188

more

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

1273

more

mu-Operator

writer : Mendelson, E

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

page : ...

902

more

Knuth-Bendix Completion Algorithm

writer : Baader, F. and Nipkow, T.

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

page : ...

1038

more

AND

writer : Carnap, R

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

page : ...

990

more

Unexpected Hanging Paradox

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

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

page : ...

2907

more

Łoś, Theorem

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

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

page : ...

907

more

Transfer Principle

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

source : www.almerja.com

page : ...

1306

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

1096

more

Rice,s Theorem

writer : Davis, M

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

page : ...

1194

more