A Short Introduction to Intuitionistic Logic

By G. Mints. 2000

136 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/45c46b18505e989861de4779e7a1c098931a44e6