Content deleted Content added
m moved Talk:Fair Computational tree logic to Talk:Fair computational tree logic: capitalization |
math logic |
||
Line 1:
{{maths rating|field=foundations|importance=low|class=start}}
|
m moved Talk:Fair Computational tree logic to Talk:Fair computational tree logic: capitalization |
math logic |
||
Line 1:
{{maths rating|field=foundations|importance=low|class=start}}
|