Math Blog
Mathematics links and random thoughts
Wednesday, November 22, 2006
FOMI 2006 - Formal Ontologies Meet Industry
stefano borgo , thomas reichherzer
Wednesday, November 15, 2006
Metamath Home Page
Foundations of Mathematics. Mathematical Logic. By K.Podnieks
Tuesday, November 14, 2006
Thales and Friends - Mykonos meeting
Thursday, November 09, 2006
A coalgebraic view on positive modal logic
Get
Modal Logic, Stone Duality and Coalgebras
I need to get the proceedings of this.
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)