This book concerns such structures, their substructures and their .
430 results in London Mathematical Society Lecture Note Series
Models and Computability (PDF). London Mathematical Society Lecture Notes Series 259, Cambridge University Press, Cambridge, New York, Melbourne.
Barry Cooper, John K. Truss. Together, Models and Computability and its sister volume Sets and Proofs provide readers with a comprehensive guide to the current state of mathematical logic.
Computability in Europe (CiE) is an. .The Role of Algebraic Models and Type-2 Theory of Eectivity in Special Purpose Processor Design.
Figure 1. S. Barry Cooper during the opening of CiE 2007 in Siena. Photo taken by Peter van Emde Boas, June 2007.
Models and Computability book.