Text this: A structuralist theory of logic /