結果 : applications of mathematical logic in computer science