Talk:Fair computational tree logic: Difference between revisions

Content deleted Content added
Ruud Koot (talk | contribs)
math logic
Line 1:
{{maths rating|field=foundations|importance=low|class=start}}
{{philosophy|logic=yes}}