Metadata
Author: WikiMatrix
Data
English[en]
He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Spanish[es]
Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.