Richard Kaye's web books

This lists a number of major webbooks and web publications, so of which stand alone, and/or are GPLed, and some which support books or other publications by Richard Kaye. Where possible, links and/or downloadable resources are provided. Other publications are available via this link.

Logic

My logic pages are at http://web.mat.bham.ac.uk/R.W.Kaye/logic. These are designed to support The Mathematics of Logic: A guide to completeness theorems and their applications (Cambridge University Press, 2007), these pages take the material on logic and the completeness and soundness theorems much further. (Watch this space: these pages will be expanded and improved soon.)

Sequences and series

Free (GPL) web book on sequences and series and introductory real analysis. http://web.mat.bham.ac.uk/R.W.Kaye/seqser.

Minesweeper pages

Minesweeper is NP-complete! Infinite Minesweeper is Turing complete! For further information, go to http://web.mat.bham.ac.uk/R.W.Kaye/minesw.

LaTeX pages

For information about LaTeX, go to http://web.mat.bham.ac.uk/R.W.Kaye/latex. (These are looking rather long in the tooth now, sorry.)


Return to Richard Kaye's home page