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 journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)263-284
JournalLogique et Analyse
Volume23
Publication statusPublished - 1980

Cite this