[FOM] Logical Number Theory II

[Craig Smorynski]

Since coming out of hiding and posting the announcement of my Adventures in Formalism, I am getting queries about Logical Number Theory II. The fact is that it is written and I have to do the typesetting. It was my first foray into LaTeX and I fear I will have to redo what has already been typeset now that I have typeset 4 other books, almost 5 as I near completion of my current project, and am beginning to know what I am doing. I find it is much less daunting to start another project and typeset a book as I write it section by section. Also, writing an opinion-laced history of, say, elementary probability theory is much less inhibiting than writing about Gödel's Theorems and being plagued by doubts about the readability of the tedious details of the arithmetisation of syntax. I really fear Logical Number Theory II is just plain boring.

Craig



-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120519/516343eb/attachment.html>