TTT Corrections

Second order corrections to TTT. (The first three are from Vaughan Pratt, the last from J\"urgen Koslowski): In the corrections to page 139, change ``the main the point'' to ``the main point''. In the correction to page 200, change ``moddle'' to `middle''. Add the following reference: P. Mulry, Generalized Banach-Mazur functionals in the topos of recursive sets. J. Pure Applied Algebra, 26 (1982), 71-83. In the correction to p. 234 as well for two extra references, change the acknowledgment from ``Kozlowski'' to ``Koslowski'' (sorry about that).