a course in mathematical logic (en Inglés)

machover, m. · north-holland