Logic and computer science / edited by Piergiorgio Odifreddi - 430 páginas ISBN: 0125242204 Subjects--Topical Terms: Programación lógica LC Class. No.: QA76.6 / L64