Wednesday, November 16, 2005

Logicomp

Logicomp - a broadly philo-blog, by a computer science theory graduate student, concerned with logic and complexity theory. Some mathmatical logic, and an interesting series of posts on different logics.

No comments: