5 works on record
Logic Colloquium 2005
2007
Studies in Weak Arithmetics
New Studies in Weak Arithmetics
Logic and Theory of Algorithms
Αξιωματα, παραδοξα, υποθεσεις και εικασιες