Mordechai Ben-Ari

• Mathematical Logic for Computer Science
• Elements of Robotics
• Ada for Software Engineers
• Mathematical Surprises