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