Intelectual output

The main output of the ARC project will be the ARC book with tentative title “Computational Logic: A Practical Approach”. 

This book is dedicated to Computational Logic and contains: course material (text) integrated with interactive exercises and demonstrations, software tools to run the exercises, and best-practice recommendations to run the lectures, based on advanced pedagogical principles as Problem Based Learning and Project Centered Learning. The chapters of the book will correspond to actual and planned lectures at the partner institutions.