Costas DimitracopoulosBooksLogic and Theory of AlgorithmsLogic Colloquium 2005New Studies in Weak ArithmeticsΑξιωματα, παραδοξα, υποθεσεις και εικασιεςLogic Colloquium 2005Studies in Weak ArithmeticsAuthor data: Open Library