%0 Generic %A Barwise, Jon. %E Etchemendy, John, %@ 1881526100 : %T Turing's World 3.0 : for the Macintosh : an introduction to computability theory /