Computability Theory — Enderton Herbert — libreta