Monday, July 12, 2010

Give an example of a consistent, first-order theory that is both semantically and syntactically complete?

I

No comments:

Post a Comment