m {{philosophy|logic=yes}} using AWB |
m moved Talk:Fair Computational tree logic to Talk:Fair computational tree logic: capitalization |
(No difference)
|
m {{philosophy|logic=yes}} using AWB |
m moved Talk:Fair Computational tree logic to Talk:Fair computational tree logic: capitalization |
(No difference)
|