2025-02-041974http://10.0.100.24/handle/123456789/153Computability And Logic Fifth Ed