Content
A Decision Procedure for Intuitionistic Propositional Logic
CIS-Bericht-90-32, in Logic and Computation
| Authors/Editors: |
Jörg Hudelmaier |
|---|---|
| Publication Date: | 1990 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |