R. Dowsing

• Computers
• A first course in formal logic and its applications in computer science
• Computer architecture