Text this: The logical analysis of quantum mechanics /