Costas Dimitracopoulos

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