Differences

This shows you the differences between two versions of the page.

terms [2010/08/18 12:16]
jipsen created
terms [2010/08/18 12:17] (current)
jipsen
Line 1: Line 1:
-[[Syntax]] | [[Terms]] | [[Equations]] | [[Quasiequations]]+[[Syntax]] | [[Terms]] | [[Equations]] | [[Horn formulas]] | [[Universal formulas]] | [[First-order formulas]] | [[Theories]]
Here we list distinct terms with no constant subterms other than $0, 1$. Here we list distinct terms with no constant subterms other than $0, 1$.