Он внес важный вклад в теорию доказательств, прояснив связи между классической логикой, интуиционистской логикой и модальной логикой.
Он внес важный вклад в теорию доказательств. Он сделал это, прояснив связи между классической логикой, интуиционистской логикой и модальной логикой.