She also wrote a great book called Introduction To Symbolic Logic. A must-read!