An Interpretation of the Intuitionistic Propositional Calculus (1933f)

By K. Gödel. 2012

59 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/2ed3f29542c0ed90b949dfb75c6679f3234c79e7