HTML pages for Practical Foundations of Mathematics

Paul Taylor

The HTML version of the book was originally created simply with the purpose of attracting Web search engines such as Google, in order to advertise the book, which was published in 1999.

At that time the technology available for translating L^AT_EX into HTML was very primitive. In particular, the Web browsers of the time did not include typefaces containing mathematical symbols. Also, the L^AT_EX in the book was particularly complicated, depending on a specific version of L^AT_EX, which was at that time undergoing radical and rapid change. This means that the translation that I did do was very ad hoc, and not easy to repeat.

As you see from some of the papers on Abstract Stone Duality, I have been experimenting with Hevea, a more sophisticated program for translating L^AT_EX into HTML. When I have finished working on those pages, including cross-references between them, I intend to create a new translation of the book.

In the meantime, I regret that the following pages and features are not available:

the index
many of the cross-references
the picture of the Möbius strip

Paul Taylor

This is www.PaulTaylor.EU/prafm/sorry.html and it was derived from prafm/sorry.tex which was last modified on 13 February 2009.