Rodgerwootton

symbols ~φ is a wff of L. Rule 2 needs to be changed so that the second occurrence of φ (in Rodgerwootton

in der chinesischen Revolution sein könnten. Diese Auffassung befand sich im vollständigen Rodgerwootton