Chung-wan Lu

• Mathematical logic for computer science