Title: Computability and models
First published: 2003
Subjects: Recursion theory
LC classification: QA9.6 .C68 2003