Theodore Slaman: Computability and Definability: Theory and Application (3) External Video-URL https://www.youtube.com/watch?v=raBhyuAnryM Preview-Image Search Engine Exclude no