Mathematical Logic

• Mathematical Logic around the world by Boris Piwinger
   
• BUBL LINK / 5:15 Internet Resources: Mathematical logic
• LO Logic Front for the Mathematics ArXiv
• Logic Links Gustavus Philosophy Department
• Open Directory - Science: Math: Logic and Foundations
• Yahoo! Directory Mathematics > Logic
•  
• Around Goedel's Theorem by Karlis Podnieks
• Association for Symbolic Logic
• British Logic Colloquium
• Classical Logic Stanford Encyclopedia of Philosophy
• Computability Logic Homepage by Giorgi Japaridze
• Formalized Mathematics by John Harrison
• Fuzzy Logic Laboratorium Linz-Hagenberg Homepage
• Introduction to Mathematical Logic by Karlis Podnieks
• Logic Journal of the IGPL
• Logic and Mathematics by Stephen G. Simpson
• Logic Notation on the Web by Peter Suber
• Logic Tutorial - Visual Interactive Formal, Propositional, or Symbolic Logic
• Mathematical Background by John F. Sowa
• Mathematical logic and foundations by Dave Rusin
• Mathematical Logic at Penn State
• Mathematical Logic at Uppsala University
• Mathematics Archives - Topics in Mathematics - Logic & Set Theory
• Mathematics and the Law by Daniel Henry Gottlieb
• A Problem Course in Mathematical Logic by Stefan Bilaniuk
• The Propositional Logic Calculator
• Theory of Knowledge by Bertrand Russell The Philosophical Importance of Mathematical Logic
• Set Theory Page LUIS E. SANCHIS PROFESSOR EMERITUS, SYRACUSE UNIVERSITY
• Theoretical Dialectical Journal: Physics-Mathematics-Logic-Philosophy
• Theories of Sets Computer Science Department's WWW Server at CalState, San Bernardino, California, USA