Categories for Logic

If someone could add a Logic -> Finite Model Theory category, the list of open problems maintained by Dietmar Berwanger and Erich Gradel at

http://www-mgi.informatik.rwth-aachen.de/FMT/problems.pdf

is crying out for Web 2.0-ification.

Thanks,

TJ

Reply

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