Mathematics

• 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 ;-)

Computational Logic

• Short Introduction to Logic
• Short Introduction to Proof Methods
• Computational Logic

LaTex

• 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)

Formulas

• Formulas and HTML
• Equation Editor
• Formula as applet

Other interesting links

• Moderated List about the Foundations of Mathematics
• Authoring Tools
• Laws of Form (cybernetics, art, spirituality, and computation)