Just to say that my Gödel Without Tears notes can now be downloaded in two versions, differing only in formatting. There’s the A4 version as before: but also a version reformatted to suit the screen proportions of an iPad which will be better for onscreen reading on such devices (or perhaps on a divided a laptop screen).