Sentence

writer : Carnap, R

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

page : ...

9-2-2022 1496

more

Strong Variety

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

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

page : ...

9-2-2022 1626

more

Sorites Paradox

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

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

page : pp. 196-199

17-2-2022 2712

more

Kleene,s Recursion Theorem

writer : Davis, M

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

page : ...

18-1-2022 1557

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 1752

more

Transfer Principle

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

source : www.almerja.com

page : ...

13-2-2022 1923

more

Robbins Conjecture

writer : Kolata, G

source : "Computer Math Proof Shows Reasoning Power." New York Times, Dec. 10, 1996.

page : ...

9-2-2022 1381

more

Deduction Theorem

writer : Kleene, S. C

source : "The Deduction Theorem." §21 in Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

23-1-2022 1816

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 1676

more

عبارة Pros Position

المؤلف : صالح رشيد بطارسه

المصدر : معجم الرياضيات

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

18-11-2015 1691

المزيد

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 1858

more

Nonstandard Analysis

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 1624

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 5115

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 1608

more

Type

writer : Curry, H. B.

source : Foundations of Mathematical Logic. New York: Dover

page : ...

10-2-2022 1486

more

Equational Logic

writer : Baader, F. and Nipkow, T

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

page : ...

23-1-2022 1314

more

Skolem Function

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

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.Kleene, S. C. Mathematical Logic. New York: Dover, 2002.

page : ...

9-2-2022 1662

more

Aristotle,s Wheel Paradox

writer : Ballew, D.

source : "The Wheel of Aristotle." Math. Teacher 65

page : ...

14-2-2022 1992

more