Reading plan in order to read:

I hope to get through 10 pages/day average.

The 1st seven books are 1849 pages. They may take 185 days, or about 6 months and 5 days.

Progress Record

Of course, some pages will be blank, etc. But I think 10 pages/day is still a good goal, considering I also have other reading to do.

(3/13/2016 – revised order)

*The Blackwell Guide to Philosophical Logic*, edited by Lou Goble — Chapters 1-6 (135 pages) – this is a re-read – I’ve read the complete book before.
*Methods of Logic: Fourth Edition*, by W. V. Quine (303 pages) I saw him speak at the University of Iowa (probably 1975-1976) and also in Toronto in 1984. I nominated him for Honorary Membership in the BRS which was approved. I have studied several of his other books.
*Set Theory and its Logic* by W. V Quine (329 pages)
*Computability and Logic: Third Edition* by George S. Boolos and Richard C. Jeffrey. (300 pages) I’ve studied this book before, however my understanding diminished as I got further into it. However I think it a good choice, because it relates to Computer Science, and thus I have a background, and also because I have studied it before.
*The Philosophy of Set Theory: An Historical Introduction to Cantor’s Paradise* by Mary Tiles. (223 pages) I’ve read this before & found it not difficult, but it would be good to review it.
*The Infinite* by A. W. Moore. (233 pages) I’ve also read this before, but could profit by reviewing it.
*Mathematical Logic* by Joseph R. Shoenfield (336 pages) I’ve started this book before, but had difficulty.

Other books to possibly study – Alphabetic Order by Author – Will plan reading order later. I do not see how I can get through it all, but this inventory will help selecting. Also I may choose to read only some articles in books that are collections. Most of these books I have only acquired recently. I also have all the volumes of the collected papers of Bertrand Russell published so far. Also a Paperback reprint of all the volumes of the 1st edition of Principia Mathamatica and hardback copies of all the volumes of the 2nd edition and the abridged to *56 edition.

The items below comprise 12991 pages excluding PM. About 1299 days or 3 years, 7 months and 9 days. (At 10 pages/day)

*Modal Logic* by Patrick Blackburn, Maarten de Rijke and Yde Venema (523 pages)
*Model Theory* by C. C. Chang and H. Jerome Keisler (622 pages)
*Introduction to Algorithms* by Thomas H. Cormen, Charles E. Leiserson and Ronald L. Rivest (985 pages) I had this book in a class in graduate school.
*Introduction to Mathematical Logic* by Alonzo Church. (356 pages)
*Set Theory and the Continuum Hypothesis* by Paul J. Cohen (151 pages)
*The Search for Mathematical Roots 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Goedel* by I. Grattan Guinnessn (593 pages)
*The Blackwell Guide to Philosophical Logic*, edited by Lou Goble — Chapters 7-20 (348 pages) – this is a re-read – I’ve read the complete book before.
*Russell vs. Meinong: The Legacy of “On Denoting”* edited by Nicholas Griffin and Dale Jacquette (363 pages)
*After “On Denoting”: Themes from Russell and Meinong* (Russell: the Journal of the Bertrand Russell Archives Vol 27 no. 1) edited by Nicholas Griffin, Dale Jacquette and Kenneth Blackwell (183 pages)
*Principia Mathematica at 100* (Russell: the Journal of the Bertrand Russell Archives Vol 31 no. 1) edited by Nicholas Griffin, Bernard Linsky and Kenneth Blackwell (160 pages)
*The Palgrave Centenary Companion to Principia Mathematica* edited by Nicholas Griffin and Bernard Linsky (434 pages)
*The Cambridge Companion to Bertrand Russell* edited by Nicholas Griffin (506 pages)
*Introduction to Automa Theory, Languages and Computation* (395 pages) by John E. Hopcroft and Jeffrey D. Ullman. (395 pages) I had this book in a class in graduate school.
*Propositions, Functions and Analysis: Selected Essays on Russell’s Philosophy* by Peter Hylton (215 pages)
*A Companion to Philosophical Logic* edited by Dale Jacquette (775 pages)
*Mathematical Logic* by Stephen Cole Kleene (369 pages)
*Introduction to Meta-Mathematics* by Stephen Cole Kleene (515 pages)
*Set Theory* by Kenneth Kunen (388 pages)
*Wittgenstein’s Apprenticeship with Russell* by Gregory Landini (284 pages) I’ve read it before.
*Russell* by Gregory Landini (416 pages) I’ve read it before.
*Russell’s Hidden Substitutional Theory* by Gregory Landini 323 pages) I’ve read it before.
*One Hundred Years of Russell’s Paradox* edited by Godehard Link (644 pages)
*The Evolution of Principia Mathematica: Bertrand Russell’s Manuscripts and Notes for the Second Edition* by Bernard Linsky (395 pages)
*Zermelo’s Axiom of Choice: Its Origins, Development & Influence* by Gregory H. Moore (334 pages)
*Set Theory and its Philosophy* by Michael Potter (316 pages)
*Theory of Recursive Functions and Effective Computability* by Hartley Rogers, Jr. (457 pages)
*Goedel’s Theorem in Focus* edited by S. G. Shanker (256 pages)
*Set Theory and the Continuum Problem* by Raymond M. Smullyan and Melvin Fitting (303 pages)
*Proof Theory: Second Edition* by Gaisi Takeuti (481 pages)
*From Frege to Goedel* edited by Jean van Heijenoort (655 pages) I’ve spent a lot of time on Goedel in this book but never got all the way through all his proofs though I have some understanding.
*Principia Mathematica* by Alfred North Whitehead and Bertrand Russell – Will focus on introductory material. I’ve spent a lot of time on this through the years.
*Antinomies & Paradoxes: Studies in Russell’s Early Philosophy* (Russell: the Journal of the Bertrand Russell Archives Vol 8 nos. 1-2) edited by Ian Winchester and Kenneth Blackwell (246 pages)