the scandinavian logic society

slideshow 1

32nd Weak Arithmetics Days

June 24 - 26, 2013 - Athens, Greece

The meeting concerns all traditional topics of the JAF conference series, including
* Provability and Definability in Weak Arithmetics
* Model Theory and Weak Arithmetics
* (Un)decidability of Weak Arithmetics

JAF32 is co-organized by
* the Department of Philosophy and History of Science of the University of Athens and
* the Department of Mathematics of the University of the Aegean.

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.