結果 : application of mathematical logic in computer science