Directory Help
Search only in Online Discussion Groups
Search the Web
Online Discussion Groups
Science
>
Math
>
Logic and Foundations
> Online Discussion Groups
Go to Directory Home
Web Pages
View in Google PageRank order
Viewing in alphabetical order
http://news.gmane.org/group/gmane.science.mathematics.frogs/
-
http://news.gmane.org/group/gmane.science.mathematics.frogs/
Proof-theoretic discussion group, mainly focused on the calculus of structures
Jon Cohen's That Logic Blog
-
http://thatlogicblog.blogspot.com/
Logic in general, proof theory, philosophy.
Richard Zach's Logic and Philosophy Blog
-
http://www.ucalgary.ca/~rzach/logblog/
Logic. Philosophy. Other Fun Stuff.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Modified by Google - ©2009 Google
Advertise with Us
-
Jobs, Press, Cool Stuff...