Lectures in Proof Theory and Complexity

The book is based on lecture notes from the course ‘Formal Systems’, taught by the author for the Master’s Degree in ‘Applied Mathematics’ at the University of Siena. It was created for educational purposes, specifically for second- level (graduate) courses. The work is mainly oriented towards applications of Proof Theory — one of the macro-areas into which Mathematical Logic is divided — to Computability Theory and Computational Complexity Theory, albeit with entan- glements with Mo...

L’Italia sul mare. La politica di difesa dalla NATO al Mediterraneo allargato

Archaeology of public estates: origins of economic growth in a Mediterranean region (9-11th century)

More than 40 years of research in Tuscany's Maremma region, one of the most extensively investigated areas anywhere in Europe from the point of view of archaeology; an ERC-Advanced project, nEU-Med, which has enabled previous findings to be reinterpreted, and new data to be produced, thanks to intensive multidisciplinary research; and a theme, public lands and property, which has been of special interest in recent years to historians of documentary sources, and which here is viewed through th...

Design of Soft–Rigid Devices for Rehabilitative and Assistive Robotics

This book describes a comprehensive research project in which different devices for rehabilitation, assistance, and haptic applications are designed and developed. The fil-rouge is the user-centered perspective, that has been employed in all the design and development phases, and the exploitation of soft robotics solutions allowing for a safe and comfortable interaction with the user. Extensive information concerning the design, the practical application and the assessment of various assistiv...