Turing's World 3.0 - Barwise, Jon,Etchemendy, John (CSLI Publ., 1993)
Keywords: Informatik; Computer science; Logic; Symbolic and mathematical; Turing machines; Turing-Maschine