References to, includes from, and redirects to Playing first-order logic

Date
Name
Who
What
2015-01-25 19:38:29 forall RLE reference