Voltaire Molesworth

• Landmarks in logic