Librería Samer Atenea
Kálamo Books
Librería Elías (Asturias)
Librería Kolima (Madrid)
Librería Proteo (Málaga)
An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.