Login / Signup
The method of axiomatic rejection for the intuitionistic propositional logic.
Rafal Dutkiewicz
Published in:
Stud Logica (1989)
Keyphrases
</>
propositional logic
relational databases
np hard
classical logic