Philosophy Links
Logic Links
- Association for Symbolic Logic
- Set Theory Page
- Computability Theory page
- Finite Model Theory
- Mathematical Logic Around the World
- Homepage for the Axiom Of Choice
LaTeX Links
- LaTeX and OS X
- TeXShop
- Mac-TeX
- LaTeX for Logicians (click the LaTeX link at the bottom)
- BibDesk
- i-Installer Homepage
- SourceForge
- Excalibur
- LaTeX Tips and Tricks
- LaTeX Packages
- TeX Users Group (TUG)
