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

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