Complexity, logic, and recursion theory - Sorbi, Andrea (Lecture notes in pure and applied mathematics, 1997)
"This book is a collection of refereed papers representing the research undertaken in the network "Complexity, Logic and Recursion Theory COLORET" (Contract No. ERBCHRXCT930415) of the Human Capital and Mobility European project. The activity of the network commenced on January 1, 1994, lasting three years and including three workshops (Amsterdam, Siena, and Barcelona)"