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 1392

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 1482

more

Horn Clause

writer : Clocksin, W. F. and Mellish, C. S.

source : Programming in Prolog Using the ISO Standard. New York: Springer-Verlag, 1984

page : ...

24-1-2022 1797

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 1446

more

mu-Operator

writer : Mendelson, E

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

page : ...

12-2-2022 1187

more

arski,s Theorem

writer : Collins, G. E

source : "Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition." In Proc. 2nd GI Conf. Automata Theory and Formal Languages. New York: Springer-Verlag

page : ...

20-1-2022 1476

more

Quantified System

writer : Strzebonski, A

source : "Solving Algebraic Inequalities." Mathematica J. 7,

page : 525-541

8-2-2022 1422

more

Recursive Set

writer : Davis, M

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

page : ...

20-1-2022 1290

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 1023

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 1157

more

Closed Sentential Formula

writer : Carnap, R

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

page : ...

22-1-2022 1441

more

Hyperfinite Set

writer : Albeverio, S.; Fenstad, J.; Hoegh-Krohn, R.; and Lindstrøom, T.

source : Nonstandard Methods in Stochastic Analysis and Mathematical Physics. New York: Academic Press, 1986.

page : ...

13-2-2022 1611

more

Complex Number Paradox

writer : Eves, H

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

page : ...

14-2-2022 2019

more

Axiom Schema

writer : Kleene, S. C

source : Mathematical Logic. New York: Dover, 2002.

page : ...

22-1-2022 1419

more

Transfer Principle

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

source : www.almerja.com

page : ...

13-2-2022 1805

more

Combinator

writer : Barendregt, H. P

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

page : ...

22-1-2022 3507

more

Variety

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

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

page : ...

10-2-2022 1094

more

Formula

writer : Carr, G. S.

source : Formulas and Theorems in Pure Mathematics. New York: Chelsea, 1970.

page : ...

24-1-2022 1839

more