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

1060

more

Karnaugh Map

writer : Booth, T

source : Digital Networks and Computer Systems. New York: Wiley

page : ...

2169

more

Conjunctive Normal Form

writer : Mendelson, E

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

page : p. 30

1162

more

Enlargement

writer : Gehrke, M.; Kaiser, K.; and Insall, M.

source : "Some Nonstandard Methods Applied to Distributive Lattices." Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik 36

page : ...

2167

more

mu-Operator

writer : Mendelson, E

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

page : ...

903

more

Paradox

writer : Ball, W. W. R. and Coxeter, H. S. M

source : Mathematical Recreations and Essays, 13th ed. New York: Dover

page : ...

3047

more

Universal Algebra

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

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

page : ...

929

more

Unification

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

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

1041

more

Proof Theory

writer : Birkhoff, G. and Mac Lane, S.

source : A Survey of Modern Algebra, 5th ed. New York: Macmillan

page : ...

1167

more

Sentence

writer : Carnap, R

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

page : ...

1188

more

Knuth-Bendix Completion Algorithm

writer : Baader, F. and Nipkow, T.

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

page : ...

1042

more

Interpretation

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

source : Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1997.

page : ...

1269

more

Quantified System

writer : Strzebonski, A

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

page : 525-541

1170

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

1270

more

Satisfaction

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

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

page : ...

728

more

Crocodile,s Dilemma

writer : Kleene, S. C

source : Introduction to Metamathematics. Princeton, NJ: Van Nostrand

page : ...

1502

more

AND

writer : Carnap, R

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

page : ...

995

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

1209

more