J. Ferrante

• The Computational Complexity of Logical Theories Lecture Notes in Mathematics
• Computational Complexity of Logical Theories
• Computational techniques in tribology and material science at the atomic level