# Richard Kaye's publications

This lists all of Richard Kaye's books and other major
publications. A full list of research papers is
available too. Where possible, links and/or downloadable resources
are provided.

## Major publications

*The Mathematics of Logic: A guide to completeness theorems
and their applications.* Cambridge University Press, Jul 30th,
2007. ISBN-13: 978-0521708777 (hardback);
ISBN-13: 978-0521882194 (paperback). With a
companion web page.*Linear Algebra* by Richard Kaye and Robert Wilson.
Oxford University Press, February 1998, xii+230 pages,
ISBN 0 19 850238 9 (Hardback) and
ISBN 0 19 850237 0 (Paperback). A textbook for second-year level
undergraduate linear algebra. Further information (including
a short list of typos and errors) can be found on our
linear
algebra home page.*Automorphisms of first-order structures*. Richard Kaye and
Dugald Macpherson (eds), OUP 1994, ISBN 0 19 853468 X, 390 pages.
Errata list
and some other information.*Models of Peano arithmetic*. Oxford Logic Guides 15,
OUP 1991, ISBN 0 19 853213 X, 292 pages. Second edition in preparation.

## Research papers

A full list of research papers is
available too. Where possible, links and/or downloadable resources
are provided. An incomplete list of other papers, including
work in progress and incomplete papers is
also available.

## Web publications

I have a number of substantial web publications, mini-textbooks
etc, on-line on this server. This include a free (GPL'ed)
textbook on real analysis and a computer system, GLOSS, for
authoring XML, MathML and other XML formats, with full documentation.
This can be obtained via this link.

Return to Richard Kaye's home page