Synthese, Volume 186

Volume 186, Number 1, May 2012

Diagrams in Mathematics: History and Philosophy

Volume 186, Number 2, May 2012

Commemorating the work of Henry E. Kyburg Jr.

Volume 186, Number 3, June 2012

Logic Meets Physics
a service of Schloss Dagstuhl - Leibniz Center for Informatics