Warwick university's very own logic society aiming to increase and stimulate interest in logic and philosophy of logic at the university. Offers news and events.
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.
