Logic Links
- Logic around the world
- Mathematics Department
- Philosophy Department
- Computer Science Department
- Working Group in the History and Philosophy of Logic, Mathematics, and Science
- Office for History of Science and Technology (OHST)
- International Computer Science Institute (ICSI)
- Mathematical Sciences Research Institute (MSRI)
- Logic at Stanford