1986, Review of Yuri Manin, "A Course in Mathematical Logic", "Journal of Symbolic Logic 51": 829-830.