Re: Categories for Logic

Sure. I'm only not sure: should be Logic under Th. Comp. Sci.? Or vice versa, or both at the top-level?

Any more sub-topics for Logic?

The list of problems you pointed to is a nice one -- looking forward to someone putting it to our site :-) (please, check with the original maintainers of the list, though). If you'll be doing this: try to make it readable for someone, who does not actively work in logic (frequently wikipedia has all the definition, and it is easy to link to it, as is pointed in the "Guide").




Comments are limited to a maximum of 1000 characters.
More information about formatting options