Robbins Axiom

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

source : www.almerja.com

page : ...

9-2-2022 1755

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 997

more

Variety

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

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

page : ...

10-2-2022 1123

more

Converse

writer : Copi, I. M. and Cohen, C

source : Introduction to Logic. Englewood Cliffs, NJ: Prentice Hall, 2001.

page : ...

23-1-2022 1091

more

Connective

writer : Mendelson, E

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

page : ...

12-2-2022 1003

more

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 2436

more

Transfer Principle

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

source : www.almerja.com

page : ...

13-2-2022 1863

more

Banach-Tarski Paradox

writer : Banach, S. and Tarski, A.

source : Sur la décomposition des ensembles de points en parties respectivement congruentes." Fund. Math. 6

page : ...

14-2-2022 3225

more

Formal Language

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 1666

more

Rice,s Theorem

writer : Davis, M

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

page : ...

20-1-2022 1508

more

Liar,s Paradox

writer : Beth, E. W.

source : The Foundations of Mathematics. Amsterdam, Netherlands: North-Holland

page : ...

15-2-2022 4593

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

24-1-2022 1679

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 1480

more

AND

writer : Carnap, R

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

page : ...

12-2-2022 1380

more

Combinator

writer : Barendregt, H. P

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

page : ...

22-1-2022 3581

more

Existence

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

source : www.almerja.com

page : ...

17-1-2022 1465

more

Conjunctive Normal Form

writer : Mendelson, E

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

page : p. 30

22-1-2022 1447

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

8-2-2022 1643

more