1990a, Review of Jon Barwise and John Etchemendy, "Turing's World and Tarski's World", "Journal of Symbolic Logic 55": 370-371.