User contributions for 109.166.131.125
Appearance
For 109.166.131.125 talk block log logs global block log filter log
18 September 2019
- 15:4515:45, 18 September 2019 diff hist +5 Talk:Sequence →Sequence variables in propositional functions/variables pi, qj - proposed addition to article: list
- 15:4215:42, 18 September 2019 diff hist +823 Talk:Sequence →Sequence variables in propositional functions/variables pi, qj - proposed addition to article: distinction trivial non-trivial?, structure of propositions