Ivo Düntsch

クロージャ代数におけるフォークの調査と、それが論理や推論において持つ重要性。