Alexander Leitsch

論理学とコンピュータサイエンスの重要な概念を探って、効果的な推論を目指す。