  |
Nordic Journal of Philosophical Logic (NJPL) - http://www.hf.uio.no/filosofi/njpl/
Edited at Dep. of Philosophy, Univ. of Oslo, published by Scandinavian U.P. in hard copy and on WWW. Full-text Web edition free for personal use. |
  |
Frege's Theorem - http://plato.stanford.edu/entries/frege-logic/index.html
Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle. |
  |
Logic - http://www.philosophypages.com/lg/
An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level. |
  |
Peirce's Logic - http://plato.stanford.edu/entries/peirce-logic/
Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer. |
  |
Symbolic Logic - http://www.earlham.edu/~peters/courses/log/loghome.htm
Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts. |