Philosopher Wilfried Sieg pointed to problems ranging "from tedious discussions of logical calculi to incorrect formulations of the conversion rules for the λ-calculus, from an unsatisfactory definition of primitive recursive functions to the claim that Gödel already in 1931 gave "for the first time" a precise mathematical description of the notion of an algorithm. These are just examples where important technical material is not properly "under control" and where significant historical matters are not accurately presented." MR1766416 (subscription required).
Columbia College (Columbia University). Office of Alumni Affairs and Development; Columbia College (Columbia University) (1991–1992). Columbia College today. Columbia University Libraries. New York, N.Y. : Columbia College, Office of Alumni Affairs and Development.