Title: Mathematics and Logic for Digital Devices