Text this: Mathematics and logic for digital devices.