The revised Study Guide: at last, a complete version

At last, there is a complete draft of Beginning Mathematical Logic: A Study Guide which you can download here (all viii + 182 pages of it).

I need to do a typographical check for typos and thinkos, and there are such exciting tasks as regularizing spacing conventions and so forth. Then, more importantly, I’ll want to make the tone and level of the treatments of different topics as consistent as I can. Then there are a few sections which I know require more work, including the very last one on type theory. But then end is in sight.

Meanwhile, while I’m revising and polishing, all suggestions, comments and corrections for the current draft will be hugely welcome. (If you do comment, please note the date of the draft you are commenting on!).

The post The revised Study Guide: at last, a complete version appeared first on Logic Matters.