Models and Computability : Invited Papers from Logic Colloquium '97, European...

Models and Computability (London Mathematical Society Lecture Note Series, Seri,

Computability and Logic by George Boolos (English) Paperback Book

Models and Computability by Logic Colloquium (English) Paperback Book

Computability and Logic by George Boolos (English) Paperback Book

Logic and Information by Keith Devlin (English) Paperback Book