Metadata
Author: WikiMatrix
Data
English[en]
It was originally proved by Gerhard Gentzen in his landmark 1934 paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively.
Spanish[es]
Fue demostrado por Gerhard Gentzen en 1934 en su artículo Investigaciones sobre la deducción lógica para los sistemas LJ y LK formalizando la lógica intuicionista y la lógica clásica, respectivamente.