# 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