As I noted in my latest Journal entry, I am going back to school next Fall for an MS degree in mathematics. There are some courses I feel that I can safely skip if I do some independent review, and the "Foundations of Mathematics" is one of them. To help enable me to do this, I would like to start a group study of the LPL book. Does anyone else out there have it? There are various resources available online, such as... http://www-csli.stanford.edu/LPL/ [Broken] Lecture Notes based on the book. http://ssdi.di.fct.unl.pt/lei/lc/0102/lpl textbook.pdf in PDF Form (caution: it's a whopping 3.72 MB) However, you do have to have the book and the software that comes with it to do the exercises. So, who's interested?