Title: Mathematics and logic for digital devices
Subjects: Mathematics, Symbolic and mathematical Logic, Automatic Data Processing, Logic