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.
Jay VerLinden's resource offering reviews and tests on important concepts in formal logic.
An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.
Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer.
Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts.
An introductory guide by Peter Suber.
An essay at Abelard.org outlining an argument against Aristotelian syllogistic.
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us