Logic and software engineering by H. Lin | Menrva Books | MenrvaBooks