Content deleted Content added
G S Palmer (talk | contribs) Not unreferenced. |
G S Palmer (talk | contribs) Added {{ref improve}} tag to article (TW) |
||
Line 1:
{{ref improve|date=August 2014}}
In [[mathematical logic]] and [[computer science]], '''two-variable logic''' is the [[fragment (logics)|fragment]] of [[first-order logic]] where [[formula (logics)|formulae]] can be written using only two different [[variable (logics)|variable]]s. This fragment is usually studied without [[function symbol]]s.
| |||