You are viewing a single comment's thread from:
RE: The Computational Complexity of Some Logical Theories
I have also been doing some reading around theories and algorithms lately. Although I have not read the same stuff as you, but this makes it more interesting to read your posts