Text this: Modern logic and quantum mechanics /