Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 - Cooper, Stuart B.; Truss, John K. (Lecture note series / London Mathematical Society, 1999)
Literaturangaben
Keywords: Konferenzschrift; Konferenzschrift -- 1997 -- Leeds; Mathematische Logik; Berechenbarkeit; Modelltheorie