On 18/05/2012 00:44, Craig Smorynski wrote: > As long as I am enrolled in FOM I might as well take the opportunity of announcing that I have published three books with > College Publications in London, one of which concerns foundational matters and might be of interest to subscribers of the list.... Is "Logical Number Theory II" in the making?