- An Elementary Introduction to Logic and Set Theory
- A primer in Predicate Logic
- Introduction to Mathematical Logic
- Hilbert and Ackermann's 1928 Logic Book
- On Formally Undecidable Propositions of Principia Mathematica and related systems
- Invalid Proof Methods ;-)

- TeX Users Group Home Page
- LaTex Tutorial
- From DVI to HTML
- Clicking LaTex..
- Don't write HTML write LaTex..
- Another Tex to HTML Converter
- HyperTex
- Hear the Formulas
- Description of well known converters (in German)