Intellectual output

The main output of the ARC project is the ARC book with the title “Computational Logic: A Practical Approach” together with the tools available at:

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.

For accessing the ARC book and the tools, please subscribe and you will receive all the content via e-mail.