English
Beginner
Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
S. Barry Cooper,John K. Truss
1999
View book
Discover references
S. Barry Cooper,John K. Truss