Computability And Models door S. Barry Cooper