FOM: Book on foundations

Till Mossakowski till at Informatik.Uni-Bremen.DE
Thu Apr 9 14:29:13 EDT 1998

Recently, I browsed in the book

  The Logical Foundations of Mathematics
   by William S. Hatcher
  (appeared about 1982, now out of print)
and found much more discussion on the possibility of categorical
foundations in it than in most of the "baker's dozen" books
mentioned by V. Pratt on Fri, 27 Feb 1998 19:15:58.

Till Mossakowski

More information about the FOM mailing list