DavidB4-bot
→top: clean up & uniformity
13:00
Tolkiendil
no edit summary
21:28
-1
Foxtrot
added more links, bit more explanation.
00:22
+195
Aschlafly
undeadend
15:51
+4
Jaques
New page: A '''First-order language''' consists of the following symbols: #A set of constants, such as ''A'', ''B'', ''C'', ... #A set of n-ary relations such as ''>(x, y)''. #A set of n-ary functio...
09:15
+521