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").
login/create account
Drupal
CSI of Charles University
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").
Best,
RS