Original language | English |
---|---|
Pages (from-to) | 263-284 |
Journal | Logique et Analyse |
Volume | 23 |
Publication status | Published - 1980 |
Gentzen-type systems for C, K and several extensions of C and K: Constructive completeness proofs and effective decision procedures for these systems
Research output: Contribution to journal › Article › Scientific › peer-review