Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Presents coverage of research at the interface of logic, computability theory, and theoretical computer science. This book integrates two approaches to computability.