[FOM] My FOM reviews
friedman at math.ohio-state.edu
Fri Jun 13 17:21:48 EDT 2003
Thank you for the input. But what I was most interested in, was what
OTHER items besides the ones I listed, would subscribers be most
interested in seeing me or someone else review?
>> But I thought that it would be interesting
>> to see what the FOM subscribers are particularly interested in.
>Since you asked, I would be most interested in reading your reviews of the
>> 3. Model Theory: Geometrical and Set-Theoretic Aspects and Prospects,
>> Angus Macintyre, Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.
>> 7. Computability and Recursion, Bulletin of Symbolic Logic, Robert I.
>> Soare, Vol. 2 No. 3, September, 1996.
>> 14. A New Kind of Science, Stephen Wolfram, Stephen Wolfram LLC, 2002.
>> 15. Locus solum, J.-Y. Girard, Bulletin of Symbolic Logic, vol. 9,
>> no. 2, June 2003.
>> 16. Foundations and applications: axiomatization and education,
>> Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.
>> 17. Proof theory on the eve of year 2000, S. Feferman,
More information about the FOM