計算複雑性理論、計算可能性理論、算譜意味論などを含む.
、算譜意味論など