Metadata
Author: WikiMatrix
Data
English[en]
In his two-page paper Zum intuitionistischen Aussagenkalkül (1932) Gödel refuted the finite-valuedness of intuitionistic logic.
Spanish[es]
En su ensayo de dos páginas Zum intuitionistischen Aussagenkalkül (1932) Gödel refutó la “valuabilidad” finita de la lógica intuicionista.